✦ LIBER ✦
Meta-variables as infinite lists in nominal terms unification and rewriting
✍ Scribed by Gabbay, M. J.
- Book ID
- 118231240
- Publisher
- Oxford University Press
- Year
- 2012
- Tongue
- English
- Weight
- 986 KB
- Volume
- 20
- Category
- Article
- ISSN
- 1367-0751
No coin nor oath required. For personal study only.