Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z] (bibtex)

by Cialdea Mayer, Marta

Reference:

Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z] (Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 55, 2015.

Bibtex Entry:

@article{Mayer2015185,
	Author = {Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Erratum},
	Doi = {10.1007/s10817-014-9308-y},
	Journal = {Journal of Automated Reasoning},
	Number = {2},
	Pages = {185},
	Source = {Scopus},
	Title = {Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z]},
	Volume = {55},
	Year = {2015},
	Bdsk-Url-1 = {https://doi.org/10.1007/s10817-014-9308-y}}