Search results for: Gabriele Puppis
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B2: Automata and Formal Languages > 234-245
Lecture Notes in Computer Science > Automata for Branching and Layered Temporal Structures > 169-170
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Modal, Spacial, and Temporal Logics > 513-525
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 72-85
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2011 > Contributed Papers > 243-255
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 7-Track B. Logic > 345-356
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 434-446
Lecture Notes in Computer Science
Theory of Computing Systems > 2016 > 59 > 2 > 180-208
Information and Computation > 2015 > 244 > C > 172-202
Theory of Computing Systems > 2015 > 57 > 4 > 1250-1321
Theoretical Computer Science > 2014 > 539 > Complete > 38-67