Giorgio Levi
Books
- TAPSOFT '87
- Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
- Advances in logic programming theory
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
- Prolog
- Advances in Logic Programming Theory (International Schools for Computer Scientists)
- Logic programming
- TAPSOFT '87 Vol. 2
- Algebraic and logic programming
Author data: Open Library