Searching for authors named "Volker Diekert" – sorted by Relevance.
-
Proceedings ASMICS Workshop Infinite Traces
- Volker Diekert, Werner Ebinger (Editors) Bericht 4/92 Preface The workshop Infinite Traces was held
- Add To MetaCart
-
Solvability of Equations in Free Partially Commutative Groups Is Decidable
- Solvability of Equations in Free Partially Commutative Groups is Decidable Volker Diekert 1
- Cited by 11 (3 self) – Add To MetaCart
-
An expressively complete temporal logic without past tense operators for Mazurkiewicz traces
- Volker Diekert 1 and Paul Gastin 2 1 Inst. fur Informatik, Universitat Stuttgart, Breitwiesenstr
- Cited by 8 (1 self) – Add To MetaCart
-
Deterministic Asynchronous Automata for Infinite Traces
- Deterministic asynchronous automata for infinite traces Volker Diekert Anca Muscholl Universitat
- Cited by 12 (3 self) – Add To MetaCart
-
A Domain for Concurrent Termination: A Generalization of Mazurkiewicz traces
- A Domain for Concurrent Termination: A Generalization of Mazurkiewicz traces Volker Diekert
- Cited by 1 (1 self) – Add To MetaCart
-
Trace Rewriting: Computing normal forms in time O(n log n)
- Trace Rewriting: Computing normal forms in time O(n log n) Michael Bertol and Volker Diekert
- Cited by 3 (0 self) – Add To MetaCart
-
On first-order fragments for words and Mazurkiewicz traces: A survey
- On First-Order Fragments for Words and Mazurkiewicz Traces A Survey Volker Diekert 1 and Manfred
- Cited by 1 (1 self) – Add To MetaCart
-
Code Problems on Traces
- Code Problems on Traces Volker Diekert Anca Muscholl ? Universitat Stuttgart, Institut fur
- Cited by 1 (0 self) – Add To MetaCart
-
From local to global temporal logics over Mazurkiewicz traces
- From local to global temporal logics over Mazurkiewicz traces Volker Diekert Institut für Formale
- Cited by 1 (1 self) – Add To MetaCart
-
A note on the existential theory of equations in plain groups
- A note on the existential theory of equations in plain groups Volker Diekert, Markus Lohrey
- Cited by 2 (2 self) – Add To MetaCart

