Resolution, inverse method and the sequent calculus
author
statement of authorship
Tanel Tammet
source
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. 65-83
ISBN
3-540-63385-5
notes
(Lecture notes in computer science ; 1289). - Bibliogr.: 15 ref
Tammet, T. Resolution, inverse method and the sequent calculus // Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings. Berlin : Springer, 1997. p. 65-83.