co-autore : computational logics

2 riviste e collane  /  Giovanni Ciatto
book Journal of Logic and Computation (JLC)
book Journal of Logical and Algebraic Methods in Programming (JLAMP)