Anatoli Degtyarev

39 papers A* 3A 2B 10C 2Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2014 C conf
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.
LOPSTR
Sandra Alves, Anatoli Degtyarev, Maribel Fernández
2006 J jnl
Monodic temporal resolution.
ACM Trans. Comput. Log.
Anatoli Degtyarev, Michael Fisher, Boris Konev
2006 B conf
On Arbitrary Selection Strategies for Basic Superposition.
JELIA
Vladimir Aleksic, Anatoli Degtyarev
2005 J jnl
Mechanising first-order temporal resolution.
Inf. Comput.
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2005 B conf
Regular Derivations in Basic Superposition-Based Calculi.
LPAR
Vladimir Aleksic, Anatoli Degtyarev
2003 B conf
Handling Equality in Monodic Temporal Resolution.
LPAR
Boris Konev, Anatoli Degtyarev, Michael Fisher
2003 A conf
Monodic Temporal Resolution.
CADE
Anatoli Degtyarev, Michael Fisher, Boris Konev
2003 J jnl
Monodic temporal resolution
CoRR
Anatoli Degtyarev, Michael Fisher, Boris Konev
2003 J jnl
Stratified resolution.
J. Symb. Comput.
Anatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov
2003 C conf
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.
TIME
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2002 B conf
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.
TABLEAUX
Anatoli Degtyarev, Michael Fisher, Boris Konev
2002 J jnl
Equality and Monodic First-Order Temporal Logic.
Stud Logica
Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2002 B conf
Searching for Invariants Using Temporal Resolution.
LPAR
James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2002 — conf
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.
Intelligent Information Systems
Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich
2001 — ch.
Equality Reasoning in Sequent-Based Calculi.
Handbook of Automated Reasoning
Anatoli Degtyarev, Andrei Voronkov
2001 — ch.
Herbrand's Theorem and Equational Reasoning: Problems and Solutions.
Current Trends in Theoretical Computer Science
Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov
2001 — ch.
The Inverse Method.
Handbook of Automated Reasoning
Anatoli Degtyarev, Andrei Voronkov
2001 — conf
Towards First-Order Temporal Resolution.
KI/ÖGAI
Anatoli Degtyarev, Michael Fisher
2000 J jnl
Decidability and complexity of simultaneous rigid E-unification with one variable and related results.
Theor. Comput. Sci.
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
2000 — conf
Propositional Temporal Resolution Revised.
ARW
Anatoli Degtyarev, Michael Fisher
2000 A conf
Stratified Resolution.
CADE
Anatoli Degtyarev, Andrei Voronkov
1999 B conf
Evidence Algorithm and Sequent Logical Inference Search.
LPAR
Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
1998 — conf
The Decidability of Simultaneous Rigid
RTA
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
1998 J jnl
What You Always Wanted to Know about Rigid E-Unification.
J. Autom. Reason.
Anatoli Degtyarev, Andrei Voronkov
1996 J jnl
A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.
J. Log. Program.
Anatoli Degtyarev, Andrei Voronkov
1996 A* conf
Decidability Problems for the Prenex Fragment of Intuitionistic Logic.
LICS
Anatoli Degtyarev, Andrei Voronkov
1996 — conf
Equality Elimination for the Tableau Method.
DISCO
Anatoli Degtyarev, Andrei Voronkov
1996 — conf
Handling Equality in Logic Programming via Basic Folding.
ELP
Anatoli Degtyarev, Andrei Voronkov
1996 J jnl
Herbrand's Theorem and Equational Reasoning: Problems and Solutions.
Bull. EATCS
Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov
1996 A* conf
Simultaneous E-Unification and Related Algorithmic Problems.
LICS
Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov
1996 J jnl
The Undecidability of Simultaneous Rigid E-Unification.
Theor. Comput. Sci.
Anatoli Degtyarev, Andrei Voronkov
1996 B conf
What You Always Wanted to Know About Rigid E-Unification.
JELIA
Anatoli Degtyarev, Andrei Voronkov
1995 B conf
A New Procedural Interpretation of Horn Clauses with Equality.
ICLP
Anatoli Degtyarev, Andrei Voronkov
1995 A* conf
Equality Elimination for the Inverse Method and Extension Procedures.
IJCAI
Anatoli Degtyarev, Andrei Voronkov
1995 — conf
General Connections via Equality Elimination.
WOCFAI
Anatoli Degtyarev, Andrei Voronkov
1995 B conf
Simultaneous Regid E-Unification Is Undecidable.
CSL
Anatoli Degtyarev, Andrei Voronkov
1993 — conf
Completeness of Equational Definitions over Predefined Algebras.
AMAST
Valentin M. Antimirov, Anatoli Degtyarev
1992 — conf
Consistency and Semantics of Equational Definitions over Predefined Algebras.
CTRS
Valentin M. Antimirov, Anatoli Degtyarev
1992 B conf
Consistency of Equational Enrichments.
LPAR
Valentin M. Antimirov, Anatoli Degtyarev