[BF1999] Analytic Calculi for Projective Logics
| BaazFerm99Tab (In proceedings)
|
| Author(s) | Baaz M. and Fermüller C. G. |
| Title | "Analytic Calculi for Projective Logics" |
| Date | 1999 |
| In | Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99 |
| Editor(s) | Murray N. |
| Series | LNCS 1617 |
| Page(s) | 36--50 |
| Publisher | Springer |
@inproceedings{BaazFerm99Tab,
title = {Analytic Calculi for Projective Logics},
year = {1999},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99},
pages = {36--50},
editor = {Murray, N.V.},
publisher = {Springer},
address = {Saratoga Springs},
author = {Baaz, M. and Fermüller, C. G.},
series = {LNCS 1617},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)