Le informazioni sugli articoli di fonte ISI sono coperte da copyright

Per ulteriori informazioni selezionare i riferimenti di interesse.

1. Degtyarev, A; Gurevich, Y; Narendran, P; Veanes, M; Voronkov, A
   Decidability and complexity of simultaneous rigid E-unification with one variable and related results
   THEORETICAL COMPUTER SCIENCE
   
   A. Degtyarev et al., "Decidability and complexity of simultaneous rigid E-unification with one variable and related results", THEOR COMP, 243(1-2), 2000, pp. 167-184
2. Voronkov, A
   Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
   THEORETICAL COMPUTER SCIENCE
   
   A. Voronkov, "Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem", THEOR COMP, 224(1-2), 1999, pp. 319-352
3. Gurevich, Y; Voronkov, A
   Monadic simultaneous rigid E-unification
   THEORETICAL COMPUTER SCIENCE
   
   Y. Gurevich e A. Voronkov, "Monadic simultaneous rigid E-unification", THEOR COMP, 222(1-2), 1999, pp. 133-152
4. A.Voronkov
   Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
   Journal of automated reasoning
   
   A.voronkov, "Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification", Journal of automated reasoning, 21(2), 1998, pp. 205-231
5. A.Degtyarev; A.Voronkov
   Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification
   Journal of automated reasoning
   
   A.degtyarev e A.voronkov, "Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification", Journal of automated reasoning, 20(1/2), 1998, pp. 47-80
6. DEGTYAREV A; VORONKOV A
   A NOTE ON SEMANTICS OF LOGIC PROGRAMS WITH EQUALITY BASED ON COMPLETE-SETS OF E-UNIFIERS
   The journal of logic programming
   
   A. Degtyarev e A. Voronkov, "A NOTE ON SEMANTICS OF LOGIC PROGRAMS WITH EQUALITY BASED ON COMPLETE-SETS OF E-UNIFIERS", The journal of logic programming, 28(3), 1996, pp. 207-216
7. DEGTYAREV A; VORONKOV A
   THE UNDECIDABILITY OF SIMULTANEOUS RIGID E-UNIFICATION
   Theoretical computer science
   
   A. Degtyarev e A. Voronkov, "THE UNDECIDABILITY OF SIMULTANEOUS RIGID E-UNIFICATION", Theoretical computer science, 166(1-2), 1996, pp. 291-300
8. VORONKOV A
   ON COMPUTABILITY BY LOGIC PROGRAMS
   Annals of mathematics and artificial intelligence
   
   A. Voronkov, "ON COMPUTABILITY BY LOGIC PROGRAMS", Annals of mathematics and artificial intelligence, 15(3-4), 1995, pp. 437-456
9. A.Voronkov
   The Anatomy of Vampire
   Journal of automated reasoning
   
   A.voronkov, "The Anatomy of Vampire", Journal of automated reasoning, 15(2), 1995, pp. 237-265