1
0
0
(1 - 30 von 43
)
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
Intro. to Automatic Structures
lat.inf.tu-dresden.de
Introduction to Automatic Structures: Technische Universität Dresden ... Automatic Structures a course given by Dietrich Kuske at ESSLI
Dietrich Kuske's Homepage
eiche.theoinf.tu-ilmenau.de
Dietrich Kuske home start; publications veröffent-lichungen; cv lebens-lauf; teaching lehre; contact kontakt; ferienhaus in mecklenburg cottage
dblp: Developments in Language Theory 2004
dblp.uni-trier.de
Bibliographic content of Developments in Language Theory 2004
(Nicht)effektive und (über)abzählbare Versionen des …
www.informatik.uni-leipzig.de
(Nicht)effektive und (über)abzählbare Versionen des Satzes von Ramsey Dietrich Kuske (CNRS, Université Bordeaux 1) Der Satz von Ramsey besagt, dass ...
Search results for "Dietrich Kuske" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Dietrich Kuske" ( http://dblp.L3S.de/Authors/Dietrich_Kuske ) Author page on DBLP Author page in RDF Community of Dietrich Kuske in ASPL-2
dblp: Algorithmic-Logical Theory of Infinite Structures
dblp.uni-trier.de
Bibliographic content of Algorithmic-Logical Theory of Infinite Structures
Dietrich Kuske's homepage
www.informatik.uni-leipzig.de
Dietrich Kuske Dozent für Theoretische Informatik (Associate professor for theoretical computer science) With effect from October 2009, I will join CNRS as Directeur de Recherche ...
Dietrich Kuske - dblpdblp.org › Persons
dblp.org
Dietrich Kuske, Nicole Schweikardt: First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!
Research Seminar Winter Term TU Dresdenlat.inf.tu-dresden.de › ... › Uncategorised
lat.inf.tu-dresden.de
Dr. Dietrich Kuske: A formal power series whose set of representations as (ℕ,max,+)-automata is undecidable. (ℕ,max,+)-automata are ...
24th EACSL Annual Conference on Computer Science Logic
logic.las.tu-berlin.de
Computer Science Logic Berlin, September Technische Universität Berlin Home ... Dietrich Kuske, Jiamou Liu and Anastasia Moskvina.
Methods for Discrete Structures
www3.math.tu-berlin.de
Dietrich Kuske - Technische Universität Ilmenau Hamiltonian paths and similar problems for automatic graphs . Abstract: Automatic graphs are (typically infinite) graphs that enjoy a finite description by automata. Hence they form particular recursive graphs where Turing machines (or arbitrary algorithms) are used instead of automata.
FG Automaten und Logik (AL)
www.tu-ilmenau.de
Dietrich Kuske und Martin Huschenbett konzentrieren sich auf dieses Forschungsgebiet und kooperieren dabei insbesondere mit Kollegen in Leipzig und Auckland.
Adressenliste 7. Theorietag
www.informatik.uni-bremen.de
Dietrich Kuske Institut für Algebra Technische Universität Dresden Dresden -dresden.de Martin Kutrib Institut für Informatik
sortiert nach Relevanz / Datum