Search results for: Alessio Guglielmi
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 136-153
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 231-246
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 389-406
Theoretical Computer Science > 2006 > 360 > 1-3 > 42-76