Delta-Decidability over the Reals
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Sicun Gao, Jeremy Avigad, Edmund M. Clarke
Delta-Decidability over the Reals
LICS, 2012.

LICS 2012
Full names Links ISxN
	author        = "Sicun Gao and Jeremy Avigad and Edmund M. Clarke",
	booktitle     = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}",
	doi           = "10.1109/LICS.2012.41",
	isbn          = "978-1-4673-2263-8",
	pages         = "305--314",
	publisher     = "{IEEE Computer Society}",
	title         = "{Delta-Decidability over the Reals}",
	year          = 2012,

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.