Andrei Anatolievič Voronkov (born 1959)[2][3] is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.[5][6][7]
- ^ a b Voronkov, A. A. (1987). "Deductive program synthesis and Markov's principle". Fundamentals of Computation Theory. Lecture Notes in Computer Science. Vol. 278. pp. 479–482. doi:10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0.
- ^ a b Andrei Voronkov at Library of Congress
- ^ a b Anon (2016). "Andrei VORONKOV Date of birth May 1959". companieshouse.gov.uk. London: Companies House. Archived from the original on 2016-08-09.
- ^ Voronkov, A. (1995). "The anatomy of vampire". Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007/BF00881918. S2CID 1541122.
- ^ "Prof Andrei Voronkov, research profile - personal details (The University of Manchester)". Retrieved 2012-06-08.
- ^ Dantsin, E.; Eiter, T.; Gottlob, G.; Voronkov, A. (2001). "Complexity and expressive power of logic programming". ACM Computing Surveys. 33 (3): 374. doi:10.1145/502807.502810. S2CID 518049.
- ^ Constantin, A.; Pettifer, S.; Voronkov, A. (2013). "PDFX: fully-automated PDF-to-XML conversion of scientific literature". Proceedings of the 2013 ACM symposium on Document engineering - Doc Eng '13 (PDF). p. 177. doi:10.1145/2494266.2494271. ISBN 9781450317894. S2CID 17173414.