209 Infos zu Dietrich Kuske

11 Aktuelle Nachrichten

Friday 26 February :30-9:00 Co ee (in room SR 11) 9:00-9:30 Dietrich Kuske, Bordeaux, The Isomorphism Problem for Automatic Structures 9:30-10:00 Alexander ...

Bernd Borchert, Dietrich Kuske, Frank Stephan: On Existentially First-Order Definable Languages and their Relation to NP: 17:35: Heribert Vollmer, Klaus W ...

Dietrich Kuske. Numerik und Wissenschaftliches Rechnen Andreas Schröder Gerhard Starke. Stochastik, Statistik und Finanzmathematik Hajo Holzmann Anita Winter. Studierendenkonferenz Stefan Kühnlein Frank Loose

Three Variables Suffice for Real-Time Logic; Peter Habermehl and Dietrich Kuske. On Presburger arithmetic extended with modulo counting ...

10  Bilder zu Dietrich Kuske

2 Profile in Sozialen Netzwerken

BACK TO INDEX. Publications of Dietrich Kuske in Acta Cybernetica. Dietrich Kuske. Weighted and Unweighted Trace Automata. Acta Cybernetica ...

All reports by Author Dietrich Kuske: TR | 13th February Bernd Borchert, Dietrich Kuske, Frank Stephan. On Existentially First-Order Definable ...

4 Hobbys & Interessen

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary...

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...

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...

Dietrich Kuske & Markus Lohrey Journal of Symbolic Logic 76 (4): Some Natural Decision Problems in Automatic Graphs.

1 Firmen-Mitarbeiter

+ Büro: Zusebau, Raum 1047Postadresse:Fachgebiet Automaten und Logik Fakultät für Informatik und.

1 Persönliche Webseiten

Prof. Dr. Dietrich Kuske TU Ilmenau, FG Automaten und Logik, PF Ilmenau. Erfassung von Daten. Während Sie auf meine Webseiten zugreifen, werden automatisch Daten …

2 Infos zur Ausbildung

Frank Drewes: Collagengrammatiken und iterierte Funktionensysteme mit Frank Drewes. Fachbereich 3 { Mathematik/Informatik. Universit at Bremen ...

Dietrich Kuske und Nicole Schweikardt, Gaifman normal forms for counting extensions of first-order logic. In Proc. ICALP LINK. Martin Grohe und Nicole Schweikardt, First-Order Query Evaluation with Cardinality Conditions. In Proc. PODS 2018, pp LINK.

1 Auszeichnungen

Der Studiendekan der Fakultät für Informatik und Automatisierung, Prof. Dietrich Kuske » melden. Artikel. CHE-Hochschulranking: Informatik-Studiengang an der TU Ilmenau erzielt Spitzenergebnisse; Bilder aus diesen Artikeln « » Ähnliche Bilder « » Pressesprecher.

1 Angaben zur Herkunft

A service of the NDSU Department of Mathematics, in association with the ... Dietrich Kuske. MathSciNet. Dr. rer. nat. Universität Duisburg-Essen

1 Projekte

... Krebs Florian Krebs Friedhelm Krebs Heinrich Krebs Heinz A. Krebs Hermano Ingo Krebs Jens Krebs John F. Krebs Kendall C. Krebs Marie-Odile Krebs Melissa ...

36 Bücher zum Namen

Nachfolge. von Bonhoeffer, Dietrich, Martin Kuske [Hrsg.] und Ilse Tödt [Hrsg.]: und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich...

Nachfolge Kart. Ausgabe der Dietrich Bonhoeffer Werke, Band 4 by Bonhoeffer, Dietrich, Martin Kuske und Ilse Tödt: and a great selection of related books, art...

Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21,

426 Dietrich Kuske and Rémi Morin Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs . .

10 Dokumente

Authors: Dietrich Kuske, Jiamou Liu, Anastasia Moskvina. (Submitted on 11 Dec (v1), last revised 17 Aug (this version, v3)). Abstract: We study word ...

Authors:Dietrich Kuske. (Submitted on 14 Dec (v1), last revised 3 Feb (this version, v2)). Abstract: We study the existence of infinite cliques in ...

... of locally finite and of Scott domains and show that with probability 1 our construction produces a universal homogeneous domain. Finally, we consider causal sets which have been used as basic models for discrete space-time in quantum gravity. Joint work with Dietrich Kuske resp. Guo-Qiang Zhang.

Authors: Dietrich Kuske, Nicole Schweikardt. (Submitted on 3 Mar 2017). Abstract: We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.

43 Wissenschaftliche Publikationen

Professor Dr. Dietrich Kuske, Institut für Theoretische InformatikIlmenau

A GAMES winter school took place in Champéry, Switzerland from February 4th to 8th, Dietrich Kuske, Technische Universität Ilmenau, Germany

DIETRICH KUSKE AND MARKUS LOHREY quantifiers for infinite cardinals. We show that any injectively co-automatic structure has a decidable theory in this ...

List of computer science publications by Dietrich Kuske

8 Allgemeine Veröffentlichungen

Dietrich Kuske Institut für Algebra, TU Dresden, D Dresden, Germany Coauthors: Manfred Droste (TU Dresden), John K. Truss (University of Leeds).

Extending work by Lodaya and Weil, we propose a model of branching automata with costsin which the calculation of the cost of a parallel composition is handled...

We prove that the isomorphism of scattered tree automatic linear orders as well as the existence of automorphisms of scattered word automatic linear orders...

Dietrich Kuske. Jump to: navigation, search. vCardDietrich Kuske. Field: Science. Position: Person. PC member of: CSR Table of Contents ...

3 Meinungen & Artikel

... Martin Ziegler (Kassenwart), Dietrich Kuske, Heike Mildenberger, Olivier Roy. Website, http://www.dvmlg.de. Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten ...

· 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.

Winfried Dulz (Universität Erlangen, DE) Holger Giese (Universität Paderborn, DE) Wolfgang Grieskamp (Microsoft Corp. - Redmond, US) Radu Grosu (SUNY - Stony Brook, US)

73 Webfunde aus dem Netz

Isomorphisms of scattered automatic linear orders - Dietrich Kuske We prove that the isomorphism of scattered tree automatic linear orders as well as the ...

1 1 Weighted automata 2 3 Manfred Droste 1 and Dietrich Kuske 2 1 Institut für Informatik, Universität Leipzig, Germany ...

Prof. Dr. Dietrich Kuske. Technische Universität Ilmenau. Ilmenau. Informatik. © by UNICUM Stiftung gGmbH.

Dietrich Kuske: Seite STACS Session B part : 26 KB: STACS Session B part : 23 KB ...

LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE. PROGRAMINDEXES. Dietrich Kuske. Organization: TU Ilmenau. Web page: http://eiche.theoinf.tu-ilmenau.de/kuske. Pages in this Program. Program · Program for Wednesday, July 6th · Disclaimer | Powered by EasyChair ...

Dietrich Kuske. Organization: TU Ilmenau. Web page: http://eiche.theoinf.tu-ilmenau.de/kuske. Pages in this Program ...

On Existentially First-Order Definable Languages and Their Relation to NP - Volume 33 Issue 3 - Bernd Borchert, Dietrich Kuske, Frank Stephan

[1] Dietrich Kuske and Nicole Schweikardt. First-order logic with counting. In 32nd Annual ACM/IEEE Symposium on Logic in Computer ...

Dietrich Kuske: Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic CoRR abs : (2008).

Theories of orders on the set of words - Volume 40 Issue 1 - Dietrich Kuske

Dietrich Kuske. 1. Abstract. It is shown that small fragments of the first-order theory of the subword order, the (partial) lexicographic path ordering on words, the homomorphism preorder, and the infix order are undecidable. This is in contrast to the decidability of the monadic second-order theory of the prefix order [M.O. Rabin ...

Transcription. 1 Theoreical Informaic and Applicaion Theore Informaic Appl 33 (1999) ON EXISTENTIALLY FIRST-ORDER DEFINABLE LANGUAGES AND ...

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 ...

Wolfgang Bruns, Johannes Hoefert, Dietrich Kuske Am wählten die Gemeindekirchenräte aus dem Pfarramtsbezirk Ilmenau I und II (Ilmenau, Ilmenau-Roda, Manebach, Oehrenstock) in einer gemeinsamen Sitzung zwei Delegierte mit Stellvertretern für die Kreissynode:

von Dietrich Kuske. Inhaltsbasierte Suche in P2P-Netzwerken von Friedrich Witschel. Homepage der Vorlesung; Wissensrepräsentation von Gerhard Brewka. Homepage der Vorlesung; Mitschrift; Evolutionäre Optimierung von Peter Stadler. Hauptstudium (2004.WS) teaching guide (Entwurf)

Dietrich Kuske: Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic. Electronic Edition · CiteSeerX ...

Blaise Genest, Dietrich Kuske, Anca Muscholl. A Kleene theorem and model checking algorithms for existentially bounded communicating ...

LICS Accepted Papers Valued Abstraction: More Precision at Less Cost Dietrich Kuske and Markus Lohrey.

Masahito Hasegawa, Kyoto University, Japan Dietrich Kuske, TU Ilmenau, Germany Angelo Montanari, University of Udine, Italy Anca Muscholl, University of ...

Dietrich Kuske. Date: Tuesday, October at 11:00AM; Place: Salle de Conférence (Pavillon des Jardins); Speaker: Dietrich Kuske (TU Ilmenau).