[BF1996] Combining Many-valued and Intuitionistic Tableaux

Tree

Index

Bibliography

[BF1996] Combining Many-valued and Intuitionistic Tableaux

BaazFerm96Tab (In proceedings)
Author(s)	Baaz M. and Fermüller C. G.
Title	"Combining Many-valued and Intuitionistic Tableaux"
Date	1996
In	Theorem Proving with Analytic Tableaux and Related Methods, 5th Int. Workshop, TABLEAUX'96
Editor(s)	Miglioli P., Moscato U., Mundici D. and Ornaghi M.
Series	LNCS (LNAI) 1071
Page(s)	65--79
Publisher	Springer

BibTeX code

@inproceedings{BaazFerm96Tab,
  title = {Combining Many-valued and Intuitionistic Tableaux},
  year = {1996},
  booktitle = {Theorem  Proving  with  Analytic  Tableaux and  Related  Methods, 5th Int. Workshop, TABLEAUX'96},
  pages = {65--79},
  editor = {Miglioli, P. and Moscato, U. and Mundici, D. and Ornaghi, M.},
  publisher = {Springer},
  address = {Palermo},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNCS (LNAI) 1071},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug