The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Anatoli Degtyarev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.324secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002