Searching for authors named "Dietrich Kuske" – sorted by Relevance.
-
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

