Search results for: Pietro Cenciarelli
Acta Informatica > 2019 > 56 > 5 > 405-431
Algorithmica > 2019 > 81 > 4 > 1535-1560
Information Processing Letters > 2018 > 131 > C > 44-50
Lecture Notes in Computer Science > Programming Languages and Systems > Semantic Theories for Object Oriented Languages > 331-346
Lecture Notes in Computer Science > Graph Transformations > Applications of Graph Transformation > 131-146
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 325-340
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Semantic Approaches > 157-200
Lecture Notes in Computer Science > Computer Science Logic > Semantics > 200-215
Chemosphere > 2007 > 66 > 4 > 723-729
Electronic Notes in Theoretical Computer Science > 2005 > 127 > 5 > 3-20
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 335-351