Anatoli Degtyarev - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based SemanticsSandra Alves, Anatoli Degtyarev, Maribel Fernández. LOPSTR 2015: 148-163 [doi]

2006

On Arbitrary Selection Strategies for Basic SuperpositionVladimir Aleksic, Anatoli Degtyarev. jelia 2006: 20-28 [doi]

Monodic temporal resolutionAnatoli Degtyarev, Michael Fisher, Boris Konev. tocl, 7(1):108-150, 2006. [doi]

2005

Regular Derivations in Basic Superposition-Based CalculiVladimir Aleksic, Anatoli Degtyarev. lpar 2005: 292-306 [doi]

Mechanising first-order temporal resolutionBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt. iandc, 199(1-2):55-86, 2005. [doi]

2003

2002

2001

Equality Reasoning in Sequent-Based CalculiAnatoli Degtyarev, Andrei Voronkov. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 611-706, Elsevier and MIT Press, 2001.

The Inverse MethodAnatoli Degtyarev, Andrei Voronkov. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 179-272, Elsevier and MIT Press, 2001.

Herbrand s Theorem and Equational Reasoning: Problems and SolutionsAnatoli Degtyarev, Yuri Gurevich, Andrei Voronkov. In Current Trends in Theoretical Computer Science. pages 303-326, 2001.

Towards First-Order Temporal ResolutionAnatoli Degtyarev, Michael Fisher. ki 2001: 18-32 [doi]

2000

Stratified ResolutionAnatoli Degtyarev, Andrei Voronkov. cade 2000: 365-384

Decidability and complexity of simultaneous rigid E-unification with one variable and related resultsAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. TCS, 243(1-2):167-184, 2000. [doi]

Propositional Temporal Resolution RevisedAnatoli Degtyarev, Michael Fisher. arw 2000: [doi]

1999

Evidence Algorithm and Sequent Logical Inference SearchAnatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets. lpar 1999: 44-61

1998

What You Always Wanted to Know about Rigid E-UnificationAnatoli Degtyarev, Andrei Voronkov. JAR, 20(1):47-80, 1998.

The Decidability of Simultaneous Rigid ::::E::::-Unification with One VariableAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. RTA 1998: 181-195 [doi]

1996

Simultaneous E-Unification and Related Algorithmic ProblemsAnatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov. lics 1996: 494-502

Handling Equality in Logic Programming via Basic FoldingAnatoli Degtyarev, Andrei Voronkov. elp 1996: 119-136

What You Always Wanted to Know About Rigid E-UnificationAnatoli Degtyarev, Andrei Voronkov. jelia 1996: 50-69

Decidability Problems for the Prenex Fragment of Intuitionistic LogicAnatoli Degtyarev, Andrei Voronkov. lics 1996: 503-512

Equality Elimination for the Tableau MethodAnatoli Degtyarev, Andrei Voronkov. disco 1996: 46-60

The Undecidability of Simultaneous Rigid E-UnificationAnatoli Degtyarev, Andrei Voronkov. TCS, 166(1&2):291-300, 1996. [doi]

A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-UnifiersAnatoli Degtyarev, Andrei Voronkov. jlp, 28(3):207-216, 1996.

Herbrand s Theorem and Equational Reasoning: Problems and SolutionsAnatoli Degtyarev, Yuri Gurevich, Andrei Voronkov. eatcs, 60:78-96, 1996.

1995

Simultaneous Regid E-Unification Is UndecidableAnatoli Degtyarev, Andrei Voronkov. csl 1996: 178-190

A New Procedural Interpretation of Horn Clauses with EqualityAnatoli Degtyarev, Andrei Voronkov. ICLP 1995: 565-579

General Connections via Equality EliminationAnatoli Degtyarev, Andrei Voronkov. wocfai 1995: 109-120

Equality Elimination for the Inverse Method and Extension ProceduresAnatoli Degtyarev, Andrei Voronkov. IJCAI 1995: 342-347

1993

Completeness of Equational Definitions over Predefined AlgebrasValentin M. Antimirov, Anatoli Degtyarev. amast 1994: 377-384

1992

Consistency and Semantics of Equational Definitions over Predefined AlgebrasValentin M. Antimirov, Anatoli Degtyarev. ctrs 1993: 67-81

Consistency of Equational EnrichmentsValentin M. Antimirov, Anatoli Degtyarev. lpar 1992: 293-402

Sign in or sign up to see more results.

runs on WebDSL