Search results for: Roberto Maieli
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 9 > 320-336
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 363-377
Annals of Pure and Applied Logic > 2006 > 142 > 1-3 > 212-244
Archive for Mathematical Logic > 2005 > 44 > 2 > 167-193
Information and Computation > 2003 > 185 > 2 > 233-262
Archive for Mathematical Logic > 2003 > 42 > 3 > 205-220