Search results for: Volker Diekert
Journal of Symbolic Computation > 2017 > 83 > C > 147-165
Information and Computation > 2016 > 251 > C > 263-286
Lecture Notes in Computer Science > Automata, Languages and Programming > Language Theory, Codes, and Automata > 543-554
Theory of Computing Systems > 2017 > 61 > 2 > 494-520
Journal of Symbolic Computation > 2016 > 75 > C > 94-109
Lecture Notes in Computer Science > Term Rewriting > 114-126
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Verification > 55-69
Lecture Notes in Computer Science > STACS 95 > 385-396
Lecture Notes in Computer Science > STACS 87 > 272-285
Lecture Notes in Computer Science > STACS 97 > 583-594