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 Sat Apr 21 20:49:23 2018 BST.
|