MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Volker Diekert" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

37 documents found, showing 1 through 10. Next 10 →

ATOM

Proceedings ASMICS Workshop Infinite Traces
by Volker Diekert — 1992
… 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
by Volker Diekert, Anca Muscholl — 2001 — INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
…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
by Volker Diekert, Paul Gastin — 1999
… 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
by Volker Diekert, Anca Muscholl — 1993 — Acta Informatica
…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
by Volker Diekert, Paul Gastin — 1994 — Proceedings of the 22nd International Colloquium on Automata, Languages and Programming (ICALP'95), Szeged (Hungary) 1995, number 944 in Lecture Notes in Computer Science
…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)
by Michael Bertol, Volker Diekert — 1996 — Proc. of the 13th STACS, Grenoble (France) 1996, LNCS
…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
by Volker Diekert, Manfred Kufleitner — Developments in Language Theory, 11th International Conference, DLT 2007
…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
by Volker Diekert, Anca Muscholl — 1996 — Szalas (Eds.), Proc. 21st Internat. Sympos. on Mathematical Foundations of Computer Science (MFCS'96), Lecture Notes in Comput. Sci
…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
by Volker Diekert, Paul Gastin — In honour of Professor Christian Choffrut on the occasion of his 60th birthday
…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
by Volker Diekert, Markus Lohrey — 2002 — International Journal of Algebra and Computation
…A note on the existential theory of equations in plain groups Volker Diekert, Markus Lohrey…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB