Anatoli Degtyarev

2006
37	EE	Vladimir Aleksic, Anatoli Degtyarev: On Arbitrary Selection Strategies for Basic Superposition. JELIA 2006: 20-28
36	EE	Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006)
2005
35	EE	Vladimir Aleksic, Anatoli Degtyarev: Regular Derivations in Basic Superposition-Based Calculi. LPAR 2005: 292-306
34	EE	Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
2003
33	EE	Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic Temporal Resolution. CADE 2003: 397-411
32	EE	Boris Konev, Anatoli Degtyarev, Michael Fisher: Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228
31	EE	Boris 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
30	EE	Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution CoRR cs.LO/0306041: (2003)
29	EE	Anatoli 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
27	EE	James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
26	EE	Anatoli 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
24	EE	Anatoli 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
20		Anatoli Degtyarev, Andrei Voronkov: Stratified Resolution. CADE 2000: 365-384
19	EE	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): 167-184 (2000)
1999
18		Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets: Evidence Algorithm and Sequent Logical Inference Search. LPAR 1999: 44-61
1998
17	EE	Anatoli 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
15		Anatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Tableau Method. DISCO 1996: 46-60
14		Anatoli Degtyarev, Andrei Voronkov: Handling Equality in Logic Programming via Basic Folding. ELP 1996: 119-136
13		Anatoli 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)
8	EE	Anatoli Degtyarev, Andrei Voronkov: The Undecidability of Simultaneous Rigid E-Unification. Theor. Comput. Sci. 166(1&2): 291-300 (1996)
1995
7		Anatoli 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
1		Valentin M. Antimirov, Anatoli Degtyarev: Consistency of Equational Enrichments. LPAR 1992: 293-402

Coauthor Index

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