A Rewriting Logic for Declarative Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Rewriting Logic for Declarative Programming
ESOP, 1996.

ESOP 1996
Full names Links ISxN
	author        = "Juan Carlos González Moreno and Maria Teresa Hortalá-González and Francisco Javier López-Fraguas and Mario Rodríguez-Artalejo",
	booktitle     = "{Proceedings of the Sixth European Symposium on Programming}",
	doi           = "10.1007/3-540-61055-3_35",
	editor        = "Hanne Riis Nielson",
	isbn          = "3-540-61055-3",
	pages         = "156--172",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{A Rewriting Logic for Declarative Programming}",
	volume        = 1058,
	year          = 1996,


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.