Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. 1995
1993
|
Kahrs, Stefan
(1993)
Compilation of combinatory reduction systems.
In: Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias, eds.
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 Wed Jun 20 20:58:49 2018 BST. |
![[img]](/style/images/fileicons/application_postscript.png)
