An efficient approach to nominal equalities in hybrid logic tableaux (bibtex)

by Cerrito, Serenella and Cialdea Mayer, Marta

Reference:

An efficient approach to nominal equalities in hybrid logic tableaux (Cerrito, Serenella and Cialdea Mayer, Marta), In Journal of Applied Non-Classical Logics, volume 20, 2010.

Bibtex Entry:

@article{Cerrito201039,
	Author = {Cerrito, Serenella and Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.3166/jancl.20.39-61},
	Journal = {Journal of Applied Non-Classical Logics},
	Number = {1-2},
	Pages = {39-61},
	Source = {Scopus},
	Title = {An efficient approach to nominal equalities in hybrid logic tableaux},
	Volume = {20},
	Year = {2010},
	Bdsk-Url-1 = {https://doi.org/10.3166/jancl.20.39-61}}