Andrei Voronkov

Andrei Voronkov at the [[Alan Turing Centenary Conference]], June 24th, 2012 Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Provided by Wikipedia
1
Perspectives of System Informatics [E-Book] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
2
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
3
Perspectives of System Informatics [E-Book] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
4
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
5
Programming Logics [E-Book] : Essays in Memory of Harald Ganzinger /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
6
Perspectives of Systems Informatics [E-Book]: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
7
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book]: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
8
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
9
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
10
Perspectives of Systems Informatics [E-Book] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
11
Perspectives of Systems Informatics [E-Book] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
12
Computer Science – Theory and Applications [E-Book] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
13
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
14
Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
15
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [E-Book] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
16
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings [E-Book] /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
17
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
18
Automated Deduction—CADE-18 [E-Book] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in:
19
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings [E-Book] /
Other Personal Name(s): “...Voronkov, Andrei...”

Full text 
Favorites
Saved in:
20
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /
Other Personal Name(s): “...Voronkov, Andrei....”

Full text 
Favorites
Saved in: