Dietrich Kuske und Symposium - Info zur Person

(1 - 10 von 18

)

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

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

Mathematical Foundations of Computer Science 2014: 39th International...

books.google.de

This two volume set LNCS and LNCS constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of...

STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer...

books.google.de

A Further Step towards a Theory of Regular MSC Languages Dietrich Kuske Department of Mathematics and Computer Science University of Leicester ...

Dietrich Kuske

easychair.org

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

Laboratoire Spécification et Vérification

www.lsv.fr

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

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