| Original language | Undefined |
|---|---|
| Pages (from-to) | - |
| Number of pages | 8 |
| Journal | Memoranda informatica |
| Issue number | 94-69 |
| Publication status | Published - 1994 |
Keywords
- METIS-121733
Proving the Genericity Lemma by leftmost reduction is simple
Jan Kuper
Research output: Contribution to journal › Article › Professional