EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Hsiang, J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1995

Kuper, J. (1995) Proving the genericity lemma by leftmost reduction is simple. In: Rewriting Techniques and Applications, 5-7 April 1995, Kaiserslautern, Germany. pp. 271-278. Lecture Notes in Computer Science 914. Springer Verlag. ISBN 3-540-59200-8

This list was generated on Mon May 22 01:03:39 CEST 2017.