Dietrich Kuske & Markus Lohrey, Automatic structures of bounded...
philpapers.org
The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary...
Dietrich Kuske, Jiamou Liu & Markus Lohrey, The isomorphism problem...
philpapers.org
The main result of this paper states that the isomorphism problem for ω-automatic trees of finite height is at least has hard as second-order arithmetic and...
Dietrich Kuske & Markus Lohrey, Logical aspects of Cayley-graphs: the...
philpapers.org
We prove that a finitely generated group is context-free whenever its Cayley-graph has a decidable monadic second-order theory. Hence, by the seminal work of...
First-Order and Counting Theories of Ω-Automatic Structures.philpapers.org › rec › KUSFAC
philpapers.org
Dietrich Kuske & Markus Lohrey Journal of Symbolic Logic 76 (4): Some Natural Decision Problems in Automatic Graphs.
Fifth IFIP International Conference on Theoretical Computer ...books.google.com › books
books.google.lv
... with synchronously moving heads, which accepts the set of. Chap30.pdf Hamiltonicity of automatic graphs Dietrich Kuske and Markus Lohrey Introduction.
First-Order and Counting Theories of ω-Automatic jstorwww.jstor.org › stable
www.jstor.org
DIETRICH KUSKE AND MARKUS LOHREY quantifiers for infinite cardinals. We show that any injectively co-automatic structure has a decidable theory in this ...
AutoMathA 2015
www.automatha.uni-leipzig.de
Dietrich Kuske Ilmenau Kim Larsen Aalborg Ranko Lazic Warwick Markus Lohrey: Siegen Cyril Nicaud: Marne-la-Vallée Igor Potapov Liverpool Jacques Sakarovitch Paris
Publications Markus Lohrey | Theoretische Informatik
www.eti.uni-siegen.de
Euler paths and ends in automatic and recursive graphs (with Dietrich Kuske) Proceedings of AFL 2008, pp journal version (Some natural decision problems in automatic graphs) Hamiltonicity of automatic graphs (with Dietrich Kuske) Proceedings of IFIP-TCS 2008, pp
Search results for "iterations" – FacetedDBLP
dblp.l3s.de
Dietrich Kuske, Markus Lohrey: Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. LICS : 2006: DBLP DOI BibTeX RDF: 2: Zille Huma Kamal, Ajay …
First-Order and Counting Theories of ω-Automatic Structures ...link.springer.com › chapter
link.springer.com
First-Order and Counting Theories of ω-Automatic Structures. Authors; Authors and affiliations. Dietrich Kuske; Markus Lohrey. Dietrich Kuske. 1. Markus Lohrey.
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
· Dietrich Kuske (Universität Leipzig, DE) Markus Lohrey (Universität Leipzig, DE) Moshe Y. Vardi (Rice University – Houston, US) For support, please contact. Dagstuhl Service Team. Documents. List of Participants. Summary.
Alle Infos zum Namen "Dietrich Kuske"
Dietrich Kuske & Markus Lohrey, Some natural decision problems in ...philarchive.org › rec › KUSSND
philarchive.org
For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree ...
LICS Accepted Papers
lics.siglog.org
LICS Accepted Papers Valued Abstraction: More Precision at Less Cost Dietrich Kuske and Markus Lohrey.
LICS - Archive
lics.siglog.org
... Kuperberg; Orna Kupferman; Clemens Kupke; Dietrich Kuske; Ralf Küsters; Antti Kuusisto; Marta Z. Kwiatkowska Paper: Dietrich Kuske Markus Lohrey
LICS
lics.siglog.org
Authors: Dietrich Kuske Markus Lohrey. Abstract ... {KuskeLohrey-Monadicchainlogicov, author = {Dietrich Kuske and Markus Lohrey} ...
sortiert nach Relevanz / Datum