𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Termination and normalisation under strategy Proofs in ELAN

✍ Scribed by Hélène Kirchner; Isabelle Gnaedig


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
263 KB
Volume
36
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES