Bernhard Beckert, Joachim Posegga. leanEA: A Lean Evolving Algebra Compiler. In Hans Kleine Büning, editor, Computer Science Logic, 9th International Workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Volume 1092 of Lecture Notes in Computer Science, pages 64-85, Springer, 1995.
@inproceedings{BeckertP95,
title = {leanEA: A Lean Evolving Algebra Compiler},
author = {Bernhard Beckert and Joachim Posegga},
year = {1995},
tags = {compiler, algebra},
researchr = {https://researchr.org/publication/BeckertP95},
cites = {0},
citedby = {0},
pages = {64-85},
booktitle = {Computer Science Logic, 9th International Workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers},
editor = {Hans Kleine Büning},
volume = {1092},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61377-3},
}