Dietrich Kuske und Computer Science - Info zur Person

(1 - 18 von 26

)

Computer Science Seminars

www.cs.le.ac.uk

Computer Science Seminars

MFCS 2016: First Call for Papers

www.eatcs.org

European Association for Theoretical Computer Science

Computer Science – Theory and Applications: 12th International...

books.google.de

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June The

Computer Science Logic: 9th International Workshop, CSl '95, Annual...

books.google.de

This book contains a carefully refereed selection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL...

STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer...

books.google.de

This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in...

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

dblp: Dietrich Kuske

dblp.uni-trier.de

List of computer science publications by Dietrich Kuske

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

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.

Institute of Theoretical Computer Science - TU Braunschweig

www.tcs.cs.tu-bs.de

Website of Prof. Dr. Roland Meyer's Institute for Theoretical Computer Science at TU Braunschweig

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

easychair.org

LICS 2017: THIRTY-SECOND 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 Friday, June 23rd · Disclaimer | Powered by EasyChair ...

LICS 2016

lics.siglog.org

Logic in Computer Science (LICS) July 5–8, • Columbia University • New York City, USA Lucas Heimberg, Dietrich Kuske and Nicole Schweikardt.

Is Ramsey's theorem omega-automatic? - Inriahal.inria.fr › inria

hal.inria.fr

Dietrich Kuske. Is Ramsey's theorem omega-automatic?. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy ...

DROPS - Infinite and Bi-infinite Words with Decidable Monadic Theories

drops.dagstuhl.de

@InProceedings{kuske_et_al:LIPIcs:2015:5432, author = {Dietrich Kuske and Jiamou Liu and Anastasia Moskvina}, title = {{Infinite and Bi-infinite Words with Decidable Monadic Theories}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = { }, series = {Leibniz ...

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 Computer Science Person-Info

Computer Science Seminars

MFCS 2016: First Call for Papers

Computer Science – Theory and Applications: 12th International...

Computer Science Logic: 9th International Workshop, CSl '95, Annual...

STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer...

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

dblp: Dietrich Kuske

Dietrich Kuske's homepage

24th EACSL Annual Conference on Computer Science Logic

Institute of Theoretical Computer Science - TU Braunschweig

Dietrich Kuske

Dietrich Kuske

LICS 2016

Is Ramsey's theorem omega-automatic? - Inriahal.inria.fr › inria

DROPS - Infinite and Bi-infinite Words with Decidable Monadic Theories

Nicole Schweikardt

=: SOFSEM 2O1O :=

Alle Infos zum Namen "Dietrich Kuske"