Anatoli Degtyarev

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Database Security

Top Venues

Publications

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