Searching for authors named "Dietrich Kuske" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Infinite Series-Parallel Posets: Logic and Languages
- …, 648-662. Innite series-parallel posets: logic and languages Dietrich Kuske Institut fur Algebra…
- Cited by 5 (0 self) – Add To MetaCart
-
Monadic chain logic over iterations and applications to pushdown systems
- …Monadic chain logic over iterations and applications to pushdown systems Dietrich Kuske Institut…
- Cited by 1 (0 self) – Add To MetaCart
-
Emptiness is Decidable for Asynchronous Cellular Machines
- …, 536-551. Emptiness is decidable for asynchronous cellular machines Dietrich Kuske Institut f…
- Cited by 2 (0 self) – Add To MetaCart
-
Weighted asynchronous cellular automata
- … Weighted asynchronous cellular automata Dietrich Kuske Institut für Informatik, Universität Leipzig…
- Cited by 1 (0 self) – Add To MetaCart
-
A model theoretic proof of Büchi-type theorems and first-order logic for N-free pomsets
- …A model theoretic proof of Buchi-type theorems and rst-order logic for N-free pomsets Dietrich…
- Cited by 1 (1 self) – Add To MetaCart
-
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus
- … and Undecidable Fragments of the Fluent Calculus Steen Holldobler 1 and Dietrich Kuske 2 ? 1 Institut fur K…
- Add To MetaCart
-
Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets
- … Nets | Dietrich KUSKE and Remi MORIN ? Institut fur Algebra, Technische Universitat Dresden, D-01062…
- Add To MetaCart
-
On the theory of one-step rewriting in trace monoids
- …On the theory of one-step rewriting in trace monoids Dietrich Kuske ¡ and Markus Lohrey…
- Cited by 2 (0 self) – Add To MetaCart
-
Decidable Theories of Cayley-graphs
- …Decidable Theories of Cayley-graphs ? Dietrich Kuske 1 and Markus Lohrey 2 1 Institut f…
- Cited by 2 (2 self) – Add To MetaCart
-
First-order and counting theories of ω-automatic structures
- …-AUTOMATIC STRUCTURES DIETRICH KUSKE AND MARKUS LOHREY Abstract. The logic L(Qu) extends first-order logic by a…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
