4. TABLEAUX 1995:
Schloß Rheinfels,
St. Goar,
Germany
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (Eds.):
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings.
Lecture Notes in Computer Science 918 Springer 1995, ISBN 3-540-59338-1 BibTeX
@proceedings{DBLP:conf/tableaux/1995,
editor = {Peter Baumgartner and
Reiner H{\"a}hnle and
Joachim Posegga},
title = {Theorem Proving with Analytic Tableaux and Related Methods, 4th
International Workshop, TABLEAUX '95, Schlo{\ss} Rheinfels,
St. Goar, Germany, May 7-10, 1995, Proceedings},
booktitle = {TABLEAUX},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {918},
year = {1995},
isbn = {3-540-59338-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk I
Classical Logic - Extensional
Modal Logic
Intuitionistic Logic
Invited Talk II
Classical Logic - Connection Method and Model Elimination
Classical Logic - Non-Clausal Proof Procedures
Linear Logic
Higher-order Logic
Applications
Copyright © Sat May 16 23:43:24 2009
by Michael Ley (ley@uni-trier.de)