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