Tableau Calculi for CSL over minspaces
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
Tableau Calculi for CSL over minspaces
CSL, 2010.

CSL 2010
Full names Links ISxN
	author        = "Régis Alenda and Nicola Olivetti and Camilla Schwind and Dmitry Tishkovsky",
	booktitle     = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}",
	doi           = "10.1007/978-3-642-15205-4_8",
	isbn          = "978-3-642-15204-7",
	pages         = "52--66",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Tableau Calculi for CSL over minspaces}",
	volume        = 6247,
	year          = 2010,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.