Home Advanced Search

Advanced Search - Page 1

Iteration Theories: The Equational Logic of Iterative Processes
  • PDF
  • English
  • Year: 1993
  • Author: Stephen L. Bloom, Zoltán Ésik
Hardver- és szoftverrendszerek verifikációja
  • PDF
  • Hungarian
  • Year: 2011
  • Author: Ésik Zoltán, Gombás Éva, Németh L. Zoltán
Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Modern Automata Theory
  • PDF
  • English
  • Author: Zoltán Ésik, Werner Kuich
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Fundamentals of Computation Theory: 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Volker Diekert (auth.), Zoltán Ésik (eds.)
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Paul-André Melliès (auth.), Zoltán Ésik (eds.)
Recent Advances in Formal Languages and Applications
  • PDF
  • English
  • Year: 2006
  • Author: Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Zoltán Ésik (auth.), Masami Ito, Masafumi Toyama (eds.)
search