[BFZ1993] Dual Systems of Sequents and Tableaux for Many-valued Logics
| BaazFermZach93EATCS (Article)
|
| Author(s) | Baaz M., Fermüller C. G. and Zach R. |
| Title | "Dual Systems of Sequents and Tableaux for Many-valued Logics" |
| Date | 1993 |
| Journal | Bulletin EATCS |
| Volume | 51 |
| Number | - |
| Page(s) | 192--197 |
| Note | paper read at 2nd Workshop on Theorem Proving with Tableaux and Related Methods, Marseille, April 1993 |
@article{BaazFermZach93EATCS,
journal = {Bulletin EATCS},
volume = {51},
title = {Dual Systems of Sequents and Tableaux for Many-valued Logics},
author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
year = {1993},
pages = {192--197},
note = {paper read at {\em 2nd Workshop on Theorem Proving with Tableaux and Related Methods}, Marseille, April 1993},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)