Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. Conference or workshop item
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 Mon Apr 23 20:31:44 2018 BST.
|