Optimised Functional Translation and Resolution

Hustadt, U., Schmidt, R. A. and Weidenbach, C. (1998)

In de Swart, H. (ed), Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, Proceedings. Lecture Notes in Computer Science 1397, Springer, 36-37. BiBTeX, PostScript (Copyright © Springer).

Contribution to the comparison section of modal theorem provers.

Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 27 Apr 2001
Copyright © 1996,7,8 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk