Search results for: Stephan Kreutzer
Electronic Notes in Discrete Mathematics > 2017 > 61 > C > 505-511
Theoretical Computer Science > 2016 > 655 > PA > 78-89
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 420-432
Theoretical Computer Science > 2016 > 628 > C > 1-29
Lecture Notes in Computer Science > Graph-Theoretic Concepts in Computer Science > Regular Papers > 336-347
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Semantics > 470-484
Lecture Notes in Computer Science > Computer Science Logic > Finite Models, Decidability and Complexity > 355-368
Lecture Notes in Computer Science > Computer Science Logic > Probability, Games and Fixpoints > 337-351
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 229-243
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 422-434
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 67-81
Lecture Notes in Computer Science > STACS 2006 > 524-536