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

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

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

Betriebswirtschaftslehre und Managementlehre: Selbstverständnis — Herausforderungen — Konsequenzen

PDF
German
Year: 1997
Author: Prof. Dr. Reinhard Pfriem (auth.), Professor Dr. Egbert Kahle (eds.)

Gentzen's Centenary, The Quest for Consistency

PDF
English
Year: 2015
Author: Reinhard Kahle, Michael Rathjen (eds.)

Logic and automata: History and perspectives

PDF
English
Year: 2008
Author: Flum, Jörg; Grädel, Erich; Wilke, Thomas (eds.)

Intensionality: Lecture Notes in Logic 22

PDF
English
Year: 2005
Author: Reinhard Kahle