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 Tue Sep 26 08:21:06 2017 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
