Search results for: Bruno Courcelle
Fundamenta Informaticae > 2022 > Vol. 189, nr 1. > 1--47
Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 89--120
Journal of Combinatorial Theory, Series B > 2017 > 123 > C > 186-214
Lecture Notes in Computer Science > CAAP '86 > 74-84
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 238-252
Lecture Notes in Computer Science > Computer Science Logic > Finite Models, Decidability and Complexity > 325-338
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 253-268
Lecture Notes in Computer Science > STACS 2007 > Session 1A > 37-48
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Descriptive complexity > 20-24