Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
|
Kahrs, Stefan
(1993)
Compilation of combinatory reduction systems.
In: Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias, eds.
Selected Papers from the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting.
Lecture Notes in Computer Science, 816.
Springer
pp. 169-188.
ISBN 3-540-58233-9.
(Full text available)
|
|
This list was generated on Mon Feb 18 21:36:13 2019 GMT. |
![[img]](/style/images/fileicons/application_postscript.png)
