Вы здесь

Voronkov A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Construction of Typed Lambda Models Related to Feasible Computability 1993 Sazonov V., Voronkov A. Lecture Notes in Computer Science 21.09.1993
СТ A Logical Reconstruction of Reachability 2003 Rybina T., Voronkov A. Lecture Notes in Computer Science 18.02.2004
СТ A New Procedural Interpretation of Horn Clauses with Equality 1995 Degtyarev A., Voronkov A. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ An Implementation Technique for a Class of Bottom-Up Procedures 1994 Voronkov A. Lecture Notes in Computer Science 12.10.1994
П Extracting Higher Order Functions from First Order Proofs 1992 Voronkov A. European Computer-Industry Research Centre 09.05.1992
СТ Merging Relational Database Technology with Constraint Technology 1996 Voronkov A. Lecture Notes in Computer Science 15.02.1997
П On computability by logic programs 1992 Voronkov A. European Computer-Industry Research Centre 09.05.1992
СТ Semantics of Constraint Logic Programs with Bounded Quantifiers 1996 Argenius M., Voronkov A. Lecture Notes in Artificial Intelligence 17.04.1996

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Alan Turing Centenary: Proc./The Turing Conference, Turing 100, Manchester, UK, June 2012 2012
  1. Voronkov A.
01.10.2012
СБ Automated Deduction - CADE-18: Proc./18th Intern. Conf. on Automated Deduction, Copenhagen, Denmark, July 2002 2002 Lecture Notes in Artificial Intelligence
  1. Voronkov A.
24.08.2002
СБ Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007 2007 Lecture Notes in Computer Science
  1. Diekert V.
  2. Volkov M. V.
  3. Voronkov A.
20.11.2007
М Handbook of Automated Reasoning. Volume I 2001
  1. Robinson A.
  2. Voronkov A.
04.08.2001
М Handbook of Automated Reasoning. Volume II 2001
  1. Robinson A.
  2. Voronkov A.
04.08.2001
СБ Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993 1993 Lecture Notes in Artificial Intelligence
  1. Voronkov A.
06.08.1993
СБ Logic Programming and Automated Reasoning:Proc./Intern. Conf. LPAR 92. St.Petersburg, Russia, July 1992 1992 Lecture Notes in Artificial Intelligence
  1. Voronkov A.
06.08.1992
СБ Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010 2010 Lecture Notes in Computer Science
  1. Fermuller Ch. G.
  2. Voronkov A.
23.11.2010
СБ Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012 2012 Lecture Notes in Computer Science
  1. Bjorner N.
  2. Voronkov A.
03.04.2012
СБ Logic for Programming Artificial Intelligence, and Reasoning: Proc./10th Intern. Conf., LPAR 2003, Almaty, Kazakhstan, September 2003 2003 Lecture Notes in Artificial Intelligence
  1. Vardi M. Y.
  2. Voronkov A.
20.11.2003
СБ Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999 1999 Lecture Notes in Artificial Intelligence
  1. Ganzinger H.
  2. Mcallester D.
  3. Voronkov A.
30.09.1999
СБ Logic for Programming and Automated Reasoning: Proc./7th Intern. Conf., LPAR 2000, Reunion Island, France, November 2000 2000 Lecture Notes in Artificial Intelligence
  1. Parigot M.
  2. Voronkov A.
10.12.2000
СБ Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007 2007 Lecture Notes in Artificial Intelligence
  1. Dershowitz N.
  2. Voronkov A.
27.02.2008
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005 2005 Lecture Notes in Artificial Intelligence
  1. Baader F.
  2. Voronkov A.
22.04.2005
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006 2006 Lecture Notes in Artificial Intelligence
  1. Hermann M.
  2. Voronkov A.
20.01.2007
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008 2008 Lecture Notes in Artificial Intelligence
  1. Cervesato I.
  2. Veith H.
  3. Voronkov A.
27.01.2009
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015 2015 Lecture Notes in Computer Science
  1. Davis M.
  2. Fehnker A.
  3. McIver A.
  4. Voronkov A.
12.01.2016
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./8th Intern. Conf., LPAR 2001, Havana, Cuba, December 2001 2001 Lecture Notes in Artificial Intelligence
  1. Nieuwenhuis R.
  2. Voronkov A.
11.01.2002
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./9th Intern. Conf., LPAR 2002, Tbilisi, Geoigia, October 2002 2002 Lecture Notes in Artificial Intelligence
  1. Baaz M.
  2. Voronkov A.
11.11.2002
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010 2010 Lecture Notes in Artificial Intelligence
  1. Clarke E. M.
  2. Voronkov A.
10.03.2011
СБ Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005 2006 Lecture Notes in Artificial Intelligence
  1. Sutcliffe G.
  2. Voronkov A.
01.03.2006
СБ Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013 2013 Lecture Notes in Computer Science
  1. Mcmillan K.
  2. Middeldorp A.
  3. Voronkov A.
13.01.2014
СБ Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006 2007 Lecture Notes in Computer Science
  1. Virbitskaite I.
  2. Voronkov A.
28.04.2007
СБ Perspectives of System Informatics: Revised Selected Papers/10th International Andrei Ershov Informatics Conference, PSI 2015 in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 2015 2016 Lecture Notes in Computer Science
  1. Mazzara M.
  2. Voronkov A.
09.08.2016
СБ Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019 2019 Lecture Notes in Computer Science
  1. Bjorner N.
  2. Virbitskaite I.
  3. Voronkov A.
28.01.2020
СБ Perspectives of System Informatics: Revised Selected Papers/8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russa, June 2011 2012 Lecture Notes in Computer Science
  1. Clarke E.
  2. Virbitskaite I.
  3. Voronkov A.
18.02.2013
СБ Perspectives of System Informatics: Revised Selected Papers/9th International Ershov Informatics Conference, PSI 2014, St.Petersburg, Russia, June 2014 2015 Lecture Notes in Computer Science
  1. Voronkov A.
  2. Virbitskaite I.
21.07.2015
СБ Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009 2010 Lecture Notes in Computer Science
  1. Pnuel A.
  2. Virbitskaite I.
  3. Voronkov A.
13.04.2010
СБ Programming Logics: Essays in Memory of Harald Ganzinger 2013 Lecture Notes in Computer Science
  1. Voronkov A.
  2. Weidenbach Ch.
11.06.2013
СБ Rewriting Techniques and Applications: Proc./19th International Conference, RTA 2008. Hagenberg, Austria, July 2008 2008 Lecture Notes in Computer Science
  1. Voronkov A.
18.09.2008
СБ Transactions and Change in Logic Databases: Invited Surveys and Selected Papers 1998 Lecture Notes in Computer Science
  1. Freitag B.
  2. Decker H.
  3. Kifer M.
  4. Voronkov A.
03.12.1998