 | 
| |
Online DBLP entries are available for Andrei Voronkov and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
- Leo Bachmair,
Harald Ganzinger,
Andrei Voronkov:
Elimination of Equality via Transformation with Ordering Constraints.
CADE 1998: 175-190
- Sergei G. Vorobyov,
Andrei Voronkov:
Complexity of Nonrecursive Logic Programs with Complex Values.
PODS 1998: 244-253
- Anatoli Degtyarev,
Yuri Gurevich,
Paliath Narendran,
Margus Veanes,
Andrei Voronkov:
The Decidability of Simultaneous Rigid E-Unification with One Variable.
RTA 1998: 181-195
- Anatoli Degtyarev,
Andrei Voronkov:
What You Always Wanted to Know about Rigid E-Unification.
Journal of Automated Reasoning 20(1): 47-80 (1998)
- Andrei Voronkov:
Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.
Journal of Automated Reasoning 21(2): 205-231 (1998)
- Yuri Gurevich,
Andrei Voronkov:
Monadic Simultaneous Rigid E-Unification and Related Problems.
ICALP 1997: 154-165
- Andrei Voronkov:
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.
CADE 1996: 32-46
- Martin Argenius,
Andrei Voronkov:
Semantics of Constraint Logic Programs with Bounded Quantifiers.
ELP 1996: 1-18
- Anatoli Degtyarev,
Andrei Voronkov:
Handling Equality in Logic Programming via Basic Folding.
ELP 1996: 119-136
- Anatoli Degtyarev,
Yuri Matiyasevich,
Andrei Voronkov:
Simultaneous E-Unification and Related Algorithmic Problems.
LICS 1996: 494-502
- Anatoli Degtyarev,
Andrei Voronkov:
Decidability Problems for the Prenex Fragment of Intuitionistic Logic.
LICS 1996: 503-512
- Andrei Voronkov:
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction.
TABLEAUX 1996: 312-329
- Anatoli Degtyarev,
Andrei Voronkov:
A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.
JLP 28(3): 207-216 (1996)
- Anatoli Degtyarev,
Andrei Voronkov:
The Undecidability of Simultaneous Rigid E-Unification.
TCS 166(1&2): 291-300 (1996)
- Anatoli Degtyarev,
Andrei Voronkov:
Simultaneous Regid E-Unification Is Undecidable.
CSL 1995: 178-190
- Anatoli Degtyarev,
Andrei Voronkov:
A New Procedural Interpretation of Horn Clauses with Equality.
ICLP 1995: 565-579
- Andrei Voronkov:
The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees.
Journal of Automated Reasoning 15(2): 237-265 (1995)
- Andrei Voronkov:
An Implementation Technique for a Class of Bottom-Up Procedures.
PLILP 1994: 147-164
- Andrei Voronkov:
Theorem Proving in Non-Standard Logics Based on the Inverse Method.
CADE 1992: 648-662
- Andrei Voronkov:
On Completeness of Program Synthesis Systems.
CSL 1991: 411-418
- Harold Boley,
Micha Meier,
Chris Moss,
Michael M. Richter,
Andrei Voronkov:
Declarative and Procedural Paradigms - Do they Really Compete? (Panel).
PDK 1991: 383-398
- Andrei Voronkov:
Logic Programming with Bounded Quantifiers.
RCLP 1990/1991: 486-514
- Andrei Voronkov:
LISS - The Logic Inference Search System.
CADE 1990: 677-678
- Andrei Voronkov:
Towards the Theory of Programming in Constructive Logic.
ESOP 1990: 421-435
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
