𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proving operational termination of membership equational programs

✍ Scribed by Francisco Durán; Salvador Lucas; Claude Marché; José Meseguer; Xavier Urbain


Book ID
106452381
Publisher
Springer
Year
2008
Tongue
English
Weight
609 KB
Volume
21
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES