Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.)
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.)
Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mikołaj Bojańczyk (auth.), Volker Diekert, Dirk Nowotka (eds.)
Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
  • PDF
  • English
  • Year: 2008
  • Author: Mikołaj Bojańczyk (auth.), Carlos Martín-Vide, Friedrich Otto, Henning Fernau (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov (eds.)
Automata Logics, and Infinite Games: A Guide to Current Research
  • PDF
  • English
  • Year: 2002
  • Author: Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Automata Logics, and Infinite Games: A Guide to Current Research
  • PDF
  • English
  • Year: 2002
  • Author: Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Mikołaj Bojańczyk, Alex Simpson
search