Home Advanced Search

Advanced Search - Page 1

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Harald Ganzinger, David McAllester, Andrei Voronkov
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2007
  • Author: Andrei Voronkov, Irina Virbitskaite
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Andrei Voronkov, Irina Virbitskaite (eds.)
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Manuel Mazzara, Andrei Voronkov (eds.)
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (eds.)
Walther recursion
  • PDF
  • English
  • Author: David McAllester; Kostas Arkoudas
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Alexander K. Petrenko,Andrei Voronkov (eds.)
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
search