A tableaux based decision procedure for a broad class of hybrid formulae with binders (bibtex)

by S. Cerrito and Cialdea Mayer, Marta

Reference:

A tableaux based decision procedure for a broad class of hybrid formulae with binders (S. Cerrito and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6793 LNAI, 2011.

Bibtex Entry:

@article{Cerrito2011104,
	Author = {S. Cerrito and Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Doi = {10.1007/978-3-642-22119-4_10},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {104-118},
	Source = {Scopus},
	Title = {A tableaux based decision procedure for a broad class of hybrid formulae with binders},
	Volume = {6793 LNAI},
	Year = {2011},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-22119-4_10}}