𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic-term equivalent transformations of program schemes

✍ Scribed by Sin Men Dyo


Publisher
Springer US
Year
1977
Tongue
English
Weight
847 KB
Volume
12
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Equivalences among logics of programs
✍ Albert R. Meyer; Jerzy Tiuryn πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 742 KB
Transformations of logic programs
✍ Olga Ε tΔ›pΓ‘nkovΓ‘; Petr Ε tΔ›pΓ‘nek πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 863 KB