Dietrich Kuske und Technische Universität - Info zur Person

(1 - 9 von 11

)

Prof. Dr. Dietrich Kuske | Technische Universität Ilmenauwww.tu-ilmenau.de › profil › fachgebiet-automaten-und-logik › team › pr...

www.tu-ilmenau.de

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

Computer Science – Theory and Applications: 12th International ...books.google.com › books

books.google.de

The Transformation Monoid of a Partially Lossy Queue Chris Köcher(B) and Dietrich Kuske Institut für Theoretische Informatik, Technische Universität Ilmenau ...

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

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.

Manfred Droste
Markus Lohrey
Paul Gastin

Thomas Schwentick
Martin Kutrib
Kathrin Kuske

Person "Kuske" (3)
Vorname "Dietrich" (7139)
Name "Kuske" (399)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dietrich Kuske und Technische Universität Person-Info

Prof. Dr. Dietrich Kuske | Technische Universität Ilmenauwww.tu-ilmenau.de › profil › fachgebiet-automaten-und-logik › team › pr...

Computer Science – Theory and Applications: 12th International ...books.google.com › books

Intro. to Automatic Structures

24th EACSL Annual Conference on Computer Science Logic

Methods for Discrete Structures

Prof. Dr. Dietrich Kuske | UNICUM Professor des Jahresprofessordesjahres.de › professor › dietrich-kuske

Isomorphisms of scattered automatic linear orders - Digitale ...www.db-thueringen.de › receive › dbt_mods_

[loginf] LPAR'04: Deadline approaching

Alle Infos zum Namen "Dietrich Kuske"