MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Anatoli Degtyarev" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

38 documents found, showing 1 through 10. Next 10 →

ATOM

Handling Equality in Logic Programs via Basic Folding
by Anatoli Degtyarev, Andrei Voronkov — 2002 — Extensions of Logic Programming (5th International Workshop, ELP'96), volume 1050 of Lecture
… 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
by Anatoli Degtyarev, Andrei Voronkov — 1994
…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
by Anatoli Degtyarev, Andrei Voronkov — 1995
… 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
by Anatoli Degtyarev, Andrei Voronkov — 1995 — J. Logic Programming
… 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
by Anatoli Degtyarev, Andrei Voronkov — 1995 — Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI-95
… 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
by Anatoli Degtyarev, Andrei Voronkov — 1994 — Proceedings of the Twelfth International Conference on Logic Programming
… 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
by Anatoli Degtyarev, Michael Fisher — In KI 2001, Proceedings
…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
by Anatoli Degtyarev, Andrei Voronkov — 1996 — Handbook of Automated Reasoning, volume I, chapter 10
…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
by Anatoli Degtyarev, Andrei Voronkov — 1996 — Journal of Automated Reasoning
…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
by Anatoli Degtyarev, Andrei Voronkov — 1996 — in J. Calmet & C. Limongelli, eds, `Design and Implementation of Symbolic Computation Systems. International Symposium, DISCO'96
…Equality Elimination for the Tableau Method Anatoli Degtyarev ? and Andrei Voronkov…
Cited by 9 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB