Home Advanced Search

Advanced Search - Page 1

Semantics of Programming Languages and Model Theory
  • DJVU
  • English
  • Year: 1993
  • Author: Manfred Droste, Yuri Gurevich
Structure of Partially Ordered Sets With Transitive Automorphism Groups
  • DJVU
  • English
  • Year: 1985
  • Author: Manfred Droste
Structure of Partially Ordered Sets With Transitive Automorphism Groups
  • PDF
  • English
  • Year: 1985
  • Author: Manfred Droste
The classical decision problem
  • DJVU
  • English
  • Year: 1997
  • Author: Grädel, Erich; Gurevich, Yuri; Börger, Egon
Handbook of Weighted Automata
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Droste, Werner Kuich, Heiko Vogler
Handbook of weighted automata
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Droste, Werner Kuich, Heiko Vogler
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.)
Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin
Groups and Model Theory
  • PDF
  • English
  • Year: 2012
  • Author: Lutz Strungmann, Manfred Droste, Lazlo Fuchs, Katrin Tent
Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Yannis Smaragdakis, Christoph Csallner (auth.), Yuri Gurevich, Bertrand Meyer (eds.)
search