Search results for: Detlef Plump
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 154-173
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 48-61
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 139-154
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 280-308
Lecture Notes in Computer Science > Theory and Application of Graph Transformations > Categorical Approaches > 103-116
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Graph Transformation Tool Contest > 514-539
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 622-636
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Data Structures and Data Bases > 30-44
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 98-113
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 75-88