Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: K

Number of items: 1.

K

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: First International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 169-188. ISBN 978-3-540-58233-5. E-ISBN 978-3-540-48579-7. (doi:10.1007/3-540-58233-9_9) (KAR id:21097)

This list was generated on Thu Apr 25 23:24:10 2024 BST.