In Berghammer, R. and Möller, B. and Struth, G. (eds),
Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7).
Lecture Notes in Computer Science,
This paper develops and compares two tableaux-style proof systems for
One is a tableau refutation proof system, the other is a proof system in
the style of Rasiowa-Sikorski.
Renate A. Schmidt
FM Group |
Last modified: 06 Aug 10
Copyright © 2004
Renate A. Schmidt,
School of Computer Science, Man Univ, email@example.com