Browse by Person (creator, editor, contributor, etc.)

Up a level

Group by: Item Type | Date | No Grouping

Jump to: Conference or workshop item

Number of items: 2.

Conference or workshop item

Kahrs, Stefan (1995) The variable containment problem. In: UNSPECIFIED. (Full text available)

Preview

Preview

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)

Preview

This list was generated on Mon Apr 23 20:31:44 2018 BST.