Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:39:40 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||