Eintrag weiter verarbeiten
The Ant-Lion Paradigm for Strong Normalization
Zapisane w:
Tytuł czasopisma: | Information and Computation |
---|---|
Personen und Körperschaften: | , |
In: | Information and Computation, 114, 1994, 1, S. 30-49 |
Format: | E-Article |
Język: | Englisch |
Wydane: |
Elsevier BV
|
Hasła przedmiotowe: |