8047455

Preferred Forms

100 1 _ ‎‡a Voronkov, A‏
100 1 _ ‎‡a Voronkov, Andrei‏
100 1 _ ‎‡a Voronkov, Andrei‏
100 1 _ ‎‡a Voronkov, Andrei‏ ‎‡d (1959- ).‏
100 1 _ ‎‡a Voronkov, Andrei‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-‏
100 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-....‏
100 1 _ ‎‡a Voronkov, Andrej‏ ‎‡q (Andrej Aleksandrovič),‏ ‎‡d 1959-‏
100 0 _ ‎‡a Андрей Александрович Воронков‏

4xx's: Alternate Name Forms (25)

400 0 _ ‎‡a Andrei Voronkov‏
400 0 _ ‎‡a Andrei Voronkov‏ ‎‡c Academic‏
400 0 _ ‎‡a Andrei Voronkov‏ ‎‡c Professor of Computer Science‏
400 0 _ ‎‡a Andrei Voronkov‏ ‎‡c Zweeds informaticus‏
400 0 _ ‎‡a Andrei Voronkov‏ ‎‡c russischer Informatiker‏
400 0 _ ‎‡a Andrei Voronkov‏ ‎‡c svensk professor i datavetenskap‏
400 1 _ ‎‡a Voronkov, A.‏
400 1 _ ‎‡a Voronkov, A. A.‏ ‎‡q (Andreĭ Aleksandrovich),‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, A. A.‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, A.‏ ‎‡q (Andrei),‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, A.‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, A.‏ ‎‡g Andrei‏
400 1 _ ‎‡a Voronkov, Andrei Aleksandrovič,‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andrei Aleksandrovič‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andrei,‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andrei‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andreĭ Aleksandrovich,‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andrej‏ ‎‡d 1959-‏
400 1 _ ‎‡a Voronkov, Andreĭ Aleksandrovich‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, А. А.‏ ‎‡q (Андрей Александрович),‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, А. А.‏ ‎‡q (Андрей Александрович),‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, А. А‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, Андрей Александрович,‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, Андрей Александрович,‏ ‎‡d 1959-‏
400 1 _ ‎‡a Воронков, Андрей Александрович‏ ‎‡d 1959-‏

5xx's: Related Names (2)

Works

Title	Sources
The anatomy of vampire
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
CADE-18
Complexity of nonrecursive logic programs with complex values
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Decidability and complexity of simultaneous rigid E-unification with one variable and related results
Eliminiation of equality via transformation with ordering constraints
Equality reasoning in sequent based calculi
Handbook of automated reasoning, 2001:
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
LPAR 2007
LPAR'99
PDFX: fully-automated PDF-to-XML conversion of scientific literature
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
Programming logics essays in memory of Harald Ganzinger
PSI 2006
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
Rewriting techniques and applications : 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
RTA 2008
Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992:
Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers

Selected Co-authors

Virbitskaite, Irina ‎(17)
Nieuwenhuis, Robert. ‎(7)
Veith, Helmut ‎(6)
Vardi, Moshe Y. ‎(6)
Sutcliffe, Geoff. ‎(6)
Parigot, Michel, 1956- ‎(6)
Clarke, Edmund M. 1945- ‎(6)
Pnueli, Amir, 1941-2009. ‎(5)
Robinson, John Alan. ‎(4)
Bjørner, Nikolaj ‎(3)

Countries and Regions of Publication (4)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

DE - Germany (81)
NL - Netherlands (5)
US - United States (3)
CH - Switzerland (3)

Record ID	Action	Time
DNB\|11280828X	add	2009-03-03T12:03:25+00:00
LC\|n 92045267	add	2009-03-03T12:03:34+00:00
NKC\|xx0034855	add	2010-06-24T11:32:42+00:00
NII\|DA06370909	delete	2010-11-16T05:07:53+00:00
SUDOC\|069338353	add	2012-11-26T09:56:13+00:00
BIBSYS\|x90597279	delete	2012-11-27T04:00:16+00:00
NTA\|097142778	add	2012-12-19T19:11:18+00:00
NUKAT\|n 99040149	add	2014-10-27T16:17:29+00:00
WKP\|Andrei_Voronkov	delete	2015-04-14T18:56:54+00:00
WKP\|Q502611	add	2015-04-14T18:56:54+00:00
ISNI\|0000000120989520	delete	2017-03-13T07:20:15.860203+00:00
ISNI\|0000000124217739	add	2017-03-13T18:54:12.098494+00:00
BIBSYS\|90597279	add	2017-03-27T21:10:31.943004+00:00
SZ\|11280828X	add	2019-08-12T14:24:16.629753+00:00
J9U\|987007456088605171	add	2020-02-02T17:04:26.846067+00:00
NLI\|004025173	delete	2020-04-12T14:35:33.442771+00:00
RERO\|vtls006171717	delete	2020-06-17T02:38:45.282204+00:00
RERO\|A006171717	add	2020-06-17T22:18:12.314452+00:00
CAOONL\|ncf12139972	add	2020-07-14T14:06:58.937802+00:00

VIAF

Virtual International Authority File

Search

Voronkov, Andrei, 1959-....

Voronkov, Andrei

Voronkov, Andrej (Andrej Aleksandrovič), 1959-

Voronkov, A

Андрей Александрович Воронков

VIAF ID: 8047455 ( Personal )

Permalink: http://viaf.org/viaf/8047455

Preferred Forms

4xx's: Alternate Name Forms (25)

5xx's: Related Names (2)

Works

Selected Co-authors

Countries and Regions of Publication (4)

Publication Statistics

Publication History

Identifiers

Selected Publishers (9)

About

Personal Information

Gender : Male

Nationality or associated country:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:8047455 (19)