𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Context-based Approach to Proving Termination of Evaluation

✍ Scribed by Małgorzata Biernacka; Dariusz Biernacki


Book ID
108127138
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
385 KB
Volume
249
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES