Examples: Prince; Princeton University; Ken Follett; Follett,Ken; Follet,
1shortlisttitle datasearch history  
results search [or] ISN:0000000120989520 | 1 hits
Person
ISNI: 
0000 0001 2421 7739
Name: 
Andrei Voronkov
Andrei Voronkov (Academic)
Andrei Voronkov (russischer Informatiker)
Voronkov, A.
Voronkov, A. A.
Voronkov, Andrei
Voronkov, Andrei Aleksandrovič
Voronkov, Andreĭ Aleksandrovich
Voronkov, Andrej
Voronkov, Andrej Aleksandrovič
Воронков, А. А
Воронков, Андрей Александрович
Dates: 
1959-
Creation class: 
Computer file
cre
Language material
text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Clarke, Edmund M. (1945-)
International Conference LPAR '92 Saint Petersburg, Russia
Nieuwenhuis, Robert
Parigot, Michel (1956-)
Pnueli, Amir (1941-2009)
Robinson, John Alan
Sutcliffe, Geoff
University of Manchester
Vardi, Moshe Y.
Veith, Helmut
Virbitskaite, Irina
Titles: 
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
CADE-18
Complexity and expressive power of logic programming
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
CSR 2007
Decision procedure for term algebras with queues
Decision procedure for the existential theory of term algebras with the Knuth-Bendix ordering
Eliminiation of equality via transformation with ordering constraints
Equality reasoning in sequent based calculi
Expressive power and data complexity of nonrecursive query languages for lists and trees
Handbook of automated reasoning, 2001:
How to optimize proof-search in modal logics: a new way of proving redundancy criteria for sequent calculi
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi
Knuth--bendix constraint solving is NP-complete
Limited resource strategy in resolution theorem proving
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
LPAR 2006
LPAR'99
Note on semantics of logic programs with equality based on complete sets of E-unifiers
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
Programming logics essays in memory of Harald Ganzinger
PSI 2011
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
Undecidability of simultaneous rigid E-unification
What you always wanted to know about rigid E-unification
Notes: 
Sources: 
VIAF DNB LC NKC NUKAT SUDOC WKD
BOWKER
JNAM
NTA
TEL