dblp.uni-trier.dewww.uni-trier.de

Anatoli Degtyarev Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
37EEVladimir Aleksic, Anatoli Degtyarev: On Arbitrary Selection Strategies for Basic Superposition. JELIA 2006: 20-28
36EEAnatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006)
2005
35EEVladimir Aleksic, Anatoli Degtyarev: Regular Derivations in Basic Superposition-Based Calculi. LPAR 2005: 292-306
34EEBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
2003
33EEAnatoli Degtyarev, Michael Fisher, Boris Konev: Monodic Temporal Resolution. CADE 2003: 397-411
32EEBoris Konev, Anatoli Degtyarev, Michael Fisher: Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228
31EEBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82
30EEAnatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution CoRR cs.LO/0306041: (2003)
29EEAnatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov: Stratified resolution. J. Symb. Comput. 36(1-2): 79-99 (2003)
2002
28 Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich: System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. Intelligent Information Systems 2002: 413-422
27EEJames Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
26EEAnatoli Degtyarev, Michael Fisher, Boris Konev: A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002: 85-99
25 Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Equality and Monodic First-Order Temporal Logic. Studia Logica 72(2): 147-156 (2002)
2001
24EEAnatoli Degtyarev, Michael Fisher: Towards First-Order Temporal Resolution. KI/ÖGAI 2001: 18-32
23 Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov: Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Current Trends in Theoretical Computer Science 2001: 303-326
22 Anatoli Degtyarev, Andrei Voronkov: The Inverse Method. Handbook of Automated Reasoning 2001: 179-272
21 Anatoli Degtyarev, Andrei Voronkov: Equality Reasoning in Sequent-Based Calculi. Handbook of Automated Reasoning 2001: 611-706
2000
20EEAnatoli Degtyarev, Andrei Voronkov: Stratified Resolution. CADE 2000: 365-384
19EEAnatoli 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): 167-184 (2000)
1999
18EEAnatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets: Evidence Algorithm and Sequent Logical Inference Search. LPAR 1999: 44-61
1998
17EEAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov: The Decidability of Simultaneous Rigid E-Unification with One Variable. RTA 1998: 181-195
16 Anatoli Degtyarev, Andrei Voronkov: What You Always Wanted to Know about Rigid E-Unification. J. Autom. Reasoning 20(1): 47-80 (1998)
1996
15EEAnatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Tableau Method. DISCO 1996: 46-60
14EEAnatoli Degtyarev, Andrei Voronkov: Handling Equality in Logic Programming via Basic Folding. ELP 1996: 119-136
13EEAnatoli Degtyarev, Andrei Voronkov: What You Always Wanted to Know About Rigid E-Unification. JELIA 1996: 50-69
12 Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov: Simultaneous E-Unification and Related Algorithmic Problems. LICS 1996: 494-502
11 Anatoli Degtyarev, Andrei Voronkov: Decidability Problems for the Prenex Fragment of Intuitionistic Logic. LICS 1996: 503-512
10 Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov: Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Bulletin of the EATCS 60: 78-96 (1996)
9 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): 207-216 (1996)
8EEAnatoli Degtyarev, Andrei Voronkov: The Undecidability of Simultaneous Rigid E-Unification. Theor. Comput. Sci. 166(1&2): 291-300 (1996)
1995
7EEAnatoli Degtyarev, Andrei Voronkov: Simultaneous Regid E-Unification Is Undecidable. CSL 1995: 178-190
6 Anatoli Degtyarev, Andrei Voronkov: A New Procedural Interpretation of Horn Clauses with Equality. ICLP 1995: 565-579
5 Anatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Inverse Method and Extension Procedures. IJCAI 1995: 342-347
4 Anatoli Degtyarev, Andrei Voronkov: General Connections via Equality Elimination. WOCFAI 1995: 109-120
1993
3 Valentin M. Antimirov, Anatoli Degtyarev: Completeness of Equational Definitions over Predefined Algebras. AMAST 1993: 377-384
1992
2 Valentin M. Antimirov, Anatoli Degtyarev: Consistency and Semantics of Equational Definitions over Predefined Algebras. CTRS 1992: 67-81
1EEValentin M. Antimirov, Anatoli Degtyarev: Consistency of Equational Enrichments. LPAR 1992: 293-402

Coauthor Index

1Vladimir Aleksic [35] [37]
2Valentin M. Antimirov [1] [2] [3]
3James Brotherston [27]
4Clare Dixon [31] [34]
5Michael Fisher [24] [25] [26] [27] [30] [31] [32] [33] [34] [36]
6Yuri Gurevich [10] [17] [19] [23]
7Ullrich Hustadt [31] [34]
8Boris Konev [26] [30] [31] [32] [33] [34] [36]
9Alexei Lisitsa [25] [27]
10Alexander V. Lyaletski [18] [28]
11Yuri Matiyasevich [12]
12Marina K. Morokhovets [18]
13Paliath Narendran [17] [19]
14Robert Nieuwenhuis [29]
15Andrey Paskevich [28]
16Margus Veanes [17] [19]
17Konstantin Verchinine [28]
18Andrei Voronkov [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)