[BFOZ1993] MULTLOG: A System for Axiomatizing Many-valued Logics

Tree

Index

Bibliography

[BFOZ1993] MULTLOG: A System for Axiomatizing Many-valued Logics

BaazFermOvruZach93LPAR (In proceedings)
Author(s)	Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
Title	"MULTLOG: A System for Axiomatizing Many-valued Logics"
Date	1993
In	Logic Programming and Automated Reasoning. Proceedings LPAR'93
Editor(s)	Voronkov A.
Series	LNAI 698
Page(s)	345--347
Publisher	Springer

BibTeX code

@inproceedings{BaazFermOvruZach93LPAR,
  title = {{MULTLOG}: A System for Axiomatizing Many-valued Logics},
  year = {1993},
  booktitle = {Logic Programming and Automated Reasoning. Proceedings {LPAR}'93},
  pages = {345--347},
  editor = {Voronkov, A.},
  publisher = {Springer},
  address = {Berlin},
  author = {Baaz, M. and Ferm{\"u}ller, C. G. and Ovrutcki, A. and Zach, R.},
  series = {LNAI˜698},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug