Algebraic Semantics for Transition Systems and Logic Programming
Corradini, Andrea
Algebraic Semantics for Transition Systems and Logic Programming by Andrea Corradini - Genova Dipartumento di informatica Universita di Pisa 1990 - iii, 141p.
006.3363 / N90
Algebraic Semantics for Transition Systems and Logic Programming by Andrea Corradini - Genova Dipartumento di informatica Universita di Pisa 1990 - iii, 141p.
006.3363 / N90