[CF2000] Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics

Tree

Index

Bibliography

[CF2000] Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics

CF00Tab (In proceedings)
Author(s)	Ciabattoni A. and Ferrari M.
Title	"Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics"
Date	2000
In	Automated Reasoning with Tableaux and Related Methods (Tableaux'2000)
Volume	1847
Series	LNAI
Page(s)	160-175
Publisher

BibTeX code

@inproceedings{CF00Tab,
  volume = {1847},
  title = {Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics},
  editors = {},
  year = {2000},
  booktitle = {Automated  Reasoning with Tableaux and Related Methods (Tableaux'2000)},
  pages = {160-175},
  publisher = {},
  author = {A. Ciabattoni and M. Ferrari},
  series = {LNAI},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug