G
Giorgio Levi
10 works on record
Works

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

Advances in logic programming theory

TAPSOFT '87 Vol. 2

Advances in Logic Programming Theory (International Schools for Computer Scientists)

Static Analysis
TAPSOFT '87
TAPSOFT '87
Prolog
Prolog
Logic programming
Logic programming
Algebraic and logic programming
Algebraic and logic programming
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation