[BFZ1992] Dual Systems of Sequents and Tableaux for Many-valued Logics

Tree

Index

Bibliography

[BFZ1992] Dual Systems of Sequents and Tableaux for Many-valued Logics

BaazFermZach92Tab (In proceedings)
Author(s)	Baaz M., Fermüller C. G. and Zach R.
Title	"Dual Systems of Sequents and Tableaux for Many-valued Logics"
Date	1992
In	Proc. 2nd Worshop on Theorem Proving with Tableaux and Related Methods, Marseille
Publisher	Tech. Report, MPI Saarbrücken

BibTeX code

@inproceedings{BaazFermZach92Tab,
  publisher = {Tech.˜Report, MPI Saarbr\"{u}cken},
  title = {Dual Systems of Sequents and Tableaux for Many-valued Logics},
  author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
  year = {1992},
  booktitle = {Proc.˜2nd Worshop on Theorem Proving with Tableaux and Related Methods, Marseille},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug