Searching for authors named "Anatoli Degtyarev" – sorted by Relevance.
-
Handling Equality in Logic Programs via Basic Folding
- ANATOLI DEGTYAREV y AND ANDREI VORONKOV y y Computing Science Department, Uppsala University (Received
- Cited by 6 (5 self) – Add To MetaCart
-
Equality Elimination for Semantic Tableaux
- UPMAIL Technical Report No. 90 December 7, 1994 Equality Elimination for Semantic Tableaux Anatoli
- Cited by 7 (6 self) – Add To MetaCart
-
Equality Elimination for the Inverse Method and Extension Procedures
- and Extension Procedures Anatoli Degtyarev y Andrei Voronkov z Computing Science Department Uppsala
- Cited by 10 (8 self) – Add To MetaCart
-
A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers
- with Equality Based on Complete Sets of E-Unifiers Anatoli Degtyarev Andrei Voronkov y Computing Science
- Cited by 2 (1 self) – Add To MetaCart
-
General Connections via Equality Elimination
- Anatoli Degtyarev y Andrei Voronkov z Computing Science Department Uppsala University Box 311, S-751 05
- Cited by 7 (5 self) – Add To MetaCart
-
A New Procedural Interpretation of Horn Clauses with Equality
- with Equality Anatoli Degtyarev y Andrei Voronkov z Computing Science Department Uppsala University Box 311
- Cited by 6 (6 self) – Add To MetaCart
-
Towards First-Order Temporal Resolution
- Towards First-Order Temporal Resolution Anatoli Degtyarev and Michael Fisher Logic
- Cited by 28 (14 self) – Add To MetaCart
-
Equality Reasoning in Sequent-Based Calculi
- CHAPTER 10 Equality Reasoning in Sequent-Based Calculi Anatoli Degtyarev Andrei Voronkov SECOND
- Cited by 17 (7 self) – Add To MetaCart
-
What You Always Wanted to Know About Rigid E-Unification
- What You Always Wanted to Know About Rigid E-Unification Anatoli Degtyarev and Andrei Voronkov
- Cited by 19 (7 self) – Add To MetaCart
-
Equality Elimination for the Tableau Method
- Equality Elimination for the Tableau Method Anatoli Degtyarev ? and Andrei Voronkov
- Cited by 9 (4 self) – Add To MetaCart

