Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Anatoli Degtyarev

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Anatoli Degtyarev

download as .bib file

@inproceedings{DBLP:conf/lopstr/AlvesDF14,
  author       = {Sandra Alves and
                  Anatoli Degtyarev and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Maurizio Proietti and
                  Hirohisa Seki},
  title        = {Access Control and Obligations in the Category-Based Metamodel: {A}
                  Rewrite-Based Semantics},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 24th International
                  Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8981},
  pages        = {148--163},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-17822-6\_9},
  doi          = {10.1007/978-3-319-17822-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlvesDF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/DegtyarevFK06,
  author       = {Anatoli Degtyarev and
                  Michael Fisher and
                  Boris Konev},
  title        = {Monodic temporal resolution},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {7},
  number       = {1},
  pages        = {108--150},
  year         = {2006},
  url          = {https://doi.org/10.1145/1119439.1119443},
  doi          = {10.1145/1119439.1119443},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/DegtyarevFK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AleksicD06,
  author       = {Vladimir Aleksic and
                  Anatoli Degtyarev},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {On Arbitrary Selection Strategies for Basic Superposition},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {20--28},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_4},
  doi          = {10.1007/11853886\_4},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AleksicD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KonevDDFH05,
  author       = {Boris Konev and
                  Anatoli Degtyarev and
                  Clare Dixon and
                  Michael Fisher and
                  Ullrich Hustadt},
  title        = {Mechanising first-order temporal resolution},
  journal      = {Inf. Comput.},
  volume       = {199},
  number       = {1-2},
  pages        = {55--86},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2004.10.005},
  doi          = {10.1016/J.IC.2004.10.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KonevDDFH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AleksicD05,
  author       = {Vladimir Aleksic and
                  Anatoli Degtyarev},
  editor       = {Geoff Sutcliffe and
                  Andrei Voronkov},
  title        = {Regular Derivations in Basic Superposition-Based Calculi},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
                  International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
                  2-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3835},
  pages        = {292--306},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591191\_21},
  doi          = {10.1007/11591191\_21},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AleksicD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/DegtyarevNV03,
  author       = {Anatoli Degtyarev and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Stratified resolution},
  journal      = {J. Symb. Comput.},
  volume       = {36},
  number       = {1-2},
  pages        = {79--99},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0747-7171(03)00036-1},
  doi          = {10.1016/S0747-7171(03)00036-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/DegtyarevNV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DegtyarevFK03,
  author       = {Anatoli Degtyarev and
                  Michael Fisher and
                  Boris Konev},
  editor       = {Franz Baader},
  title        = {Monodic Temporal Resolution},
  booktitle    = {Automated Deduction - CADE-19, 19th International Conference on Automated
                  Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2741},
  pages        = {397--411},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45085-6\_35},
  doi          = {10.1007/978-3-540-45085-6\_35},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DegtyarevFK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KonevDF03,
  author       = {Boris Konev and
                  Anatoli Degtyarev and
                  Michael Fisher},
  editor       = {Moshe Y. Vardi and
                  Andrei Voronkov},
  title        = {Handling Equality in Monodic Temporal Resolution},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
                  International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
                  22-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2850},
  pages        = {214--228},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39813-4\_15},
  doi          = {10.1007/978-3-540-39813-4\_15},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KonevDF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/KonevDDFH03,
  author       = {Boris Konev and
                  Anatoli Degtyarev and
                  Clare Dixon and
                  Michael Fisher and
                  Ullrich Hustadt},
  title        = {Towards the Implementation of First-Order Temporal Resolution: the
                  Expanding Domain Case},
  booktitle    = {10th International Symposium on Temporal Representation and Reasoning
                  / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
                  8-10 July 2003, Cairns, Queensland, Australia},
  pages        = {72--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/TIME.2003.1214882},
  doi          = {10.1109/TIME.2003.1214882},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/KonevDDFH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0306041,
  author       = {Anatoli Degtyarev and
                  Michael Fisher and
                  Boris Konev},
  title        = {Monodic temporal resolution},
  journal      = {CoRR},
  volume       = {cs.LO/0306041},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0306041},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0306041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/DegtyarevFL02,
  author       = {Anatoli Degtyarev and
                  Michael Fisher and
                  Alexei Lisitsa},
  title        = {Equality and Monodic First-Order Temporal Logic},
  journal      = {Stud Logica},
  volume       = {72},
  number       = {2},
  pages        = {147--156},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1021352309671},
  doi          = {10.1023/A:1021352309671},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/DegtyarevFL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iis/LyaletskiVDP02,
  author       = {Alexander V. Lyaletski and
                  Konstantin Verchinine and
                  Anatoli Degtyarev and
                  Andrey Paskevich},
  editor       = {Mieczyslaw A. Klopotek and
                  Slawomir T. Wierzchon and
                  Maciej Michalewicz},
  title        = {System for Automated Deduction {(SAD):} Linguistic and Deductive Peculiarities},
  booktitle    = {Intelligent Information Systems 2002, Proceedings of the IIS'2002
                  Symposium, Sopot, Poland, June 3-6, 2002},
  series       = {Advances in Soft Computing},
  pages        = {413--422},
  publisher    = {Physica-Verlag},
  year         = {2002},
  timestamp    = {Sun, 03 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iis/LyaletskiVDP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BrotherstonDFL02,
  author       = {James Brotherston and
                  Anatoli Degtyarev and
                  Michael Fisher and
                  Alexei Lisitsa},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Searching for Invariants Using Temporal Resolution},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_6},
  doi          = {10.1007/3-540-36078-6\_6},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BrotherstonDFL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DegtyarevFK02,
  author       = {Anatoli Degtyarev and
                  Michael Fisher and
                  Boris Konev},
  editor       = {Uwe Egly and
                  Christian G. Ferm{\"{u}}ller},
  title        = {A Simplified Clausal Resolution Procedure for Propositional Linear-Time
                  Temporal Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
                  1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2381},
  pages        = {85--99},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45616-3\_7},
  doi          = {10.1007/3-540-45616-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/DegtyarevFK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/DegtyarevF01,
  author       = {Anatoli Degtyarev and
                  Michael Fisher},
  editor       = {Franz Baader and
                  Gerhard Brewka and
                  Thomas Eiter},
  title        = {Towards First-Order Temporal Resolution},
  booktitle    = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
                  Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2174},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45422-5\_3},
  doi          = {10.1007/3-540-45422-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/DegtyarevF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/el/RV01/DegtyarevV01,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {John Alan Robinson and
                  Andrei Voronkov},
  title        = {The Inverse Method},
  booktitle    = {Handbook of Automated Reasoning (in 2 volumes)},
  pages        = {179--272},
  publisher    = {Elsevier and {MIT} Press},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044450813-3/50006-0},
  doi          = {10.1016/B978-044450813-3/50006-0},
  timestamp    = {Thu, 25 Jul 2019 12:26:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/RV01/DegtyarevV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/el/RV01/DegtyarevV01a,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {John Alan Robinson and
                  Andrei Voronkov},
  title        = {Equality Reasoning in Sequent-Based Calculi},
  booktitle    = {Handbook of Automated Reasoning (in 2 volumes)},
  pages        = {611--706},
  publisher    = {Elsevier and {MIT} Press},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044450813-3/50012-6},
  doi          = {10.1016/B978-044450813-3/50012-6},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/RV01/DegtyarevV01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/phaunRS01/DegtyarevGV01,
  author       = {Anatoli Degtyarev and
                  Yuri Gurevich and
                  Andrei Voronkov},
  editor       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {Herbrand's Theorem and Equational Reasoning: Problems and Solutions},
  booktitle    = {Current Trends in Theoretical Computer Science, Entering the 21th
                  Century},
  pages        = {303--326},
  publisher    = {World Scientific},
  year         = {2001},
  timestamp    = {Sat, 03 Aug 2019 22:52:51 +0200},
  biburl       = {https://dblp.org/rec/books/ws/phaunRS01/DegtyarevGV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DegtyarevGNVV00,
  author       = {Anatoli Degtyarev and
                  Yuri Gurevich and
                  Paliath Narendran and
                  Margus Veanes and
                  Andrei Voronkov},
  title        = {Decidability and complexity of simultaneous rigid E-unification with
                  one variable and related results},
  journal      = {Theor. Comput. Sci.},
  volume       = {243},
  number       = {1-2},
  pages        = {167--184},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(98)00185-6},
  doi          = {10.1016/S0304-3975(98)00185-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DegtyarevGNVV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arw/DegtyarevF00,
  author       = {Anatoli Degtyarev and
                  Michael Fisher},
  editor       = {Hans J{\"{u}}rgen Ohlbach and
                  Ulrich Endriss and
                  Odinaldo Rodrigues and
                  Stefan Schlobach},
  title        = {Propositional Temporal Resolution Revised},
  booktitle    = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
                  the Gap between Theory and Practice, King's College London, UK, 20-21
                  July 2000},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {32},
  publisher    = {CEUR-WS.org},
  year         = {2000},
  url          = {https://ceur-ws.org/Vol-32/degtiarev.ps.gz},
  timestamp    = {Fri, 10 Mar 2023 16:22:28 +0100},
  biburl       = {https://dblp.org/rec/conf/arw/DegtyarevF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DegtyarevV00,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {David A. McAllester},
  title        = {Stratified Resolution},
  booktitle    = {Automated Deduction - CADE-17, 17th International Conference on Automated
                  Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1831},
  pages        = {365--384},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_28},
  doi          = {10.1007/10721959\_28},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DegtyarevV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/DegtyarevLM99,
  author       = {Anatoli Degtyarev and
                  Alexander V. Lyaletski and
                  Marina K. Morokhovets},
  editor       = {Harald Ganzinger and
                  David A. McAllester and
                  Andrei Voronkov},
  title        = {Evidence Algorithm and Sequent Logical Inference Search},
  booktitle    = {Logic Programming and Automated Reasoning, 6th International Conference,
                  LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1705},
  pages        = {44--61},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48242-3\_4},
  doi          = {10.1007/3-540-48242-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/DegtyarevLM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DegtyarevV98,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {What You Always Wanted to Know about Rigid E-Unification},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {47--80},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005996623714},
  doi          = {10.1023/A:1005996623714},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DegtyarevV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DegtyarevGNVV98,
  author       = {Anatoli Degtyarev and
                  Yuri Gurevich and
                  Paliath Narendran and
                  Margus Veanes and
                  Andrei Voronkov},
  editor       = {Tobias Nipkow},
  title        = {The Decidability of Simultaneous Rigid \emph{E}-Unification with One
                  Variable},
  booktitle    = {Rewriting Techniques and Applications, 9th International Conference,
                  RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1379},
  pages        = {181--195},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0052370},
  doi          = {10.1007/BFB0052370},
  timestamp    = {Sat, 05 Sep 2020 18:07:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DegtyarevGNVV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DegtyarevGV96,
  author       = {Anatoli Degtyarev and
                  Yuri Gurevich and
                  Andrei Voronkov},
  title        = {Herbrand's Theorem and Equational Reasoning: Problems and Solutions},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {78--96},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DegtyarevGV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {A Note on Semantics of Logic Programs with Equality Based on Complete
                  Sets of E-Unifiers},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {3},
  pages        = {207--216},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(96)00049-0},
  doi          = {10.1016/0743-1066(96)00049-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {The Undecidability of Simultaneous Rigid E-Unification},
  journal      = {Theor. Comput. Sci.},
  volume       = {166},
  number       = {1{\&}2},
  pages        = {291--300},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(96)00092-8},
  doi          = {10.1016/0304-3975(96)00092-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/disco/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Jacques Calmet and
                  Carla Limongelli},
  title        = {Equality Elimination for the Tableau Method},
  booktitle    = {Design and Implementation of Symbolic Computation Systems, International
                  Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1128},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61697-7\_4},
  doi          = {10.1007/3-540-61697-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/disco/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Handling Equality in Logic Programming via Basic Folding},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {119--136},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_8},
  doi          = {10.1007/3-540-60983-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Lu{\'{\i}}s Moniz Pereira and
                  Ewa Orlowska},
  title        = {What You Always Wanted to Know About Rigid E-Unification},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
                  {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1126},
  pages        = {50--69},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61630-6\_4},
  doi          = {10.1007/3-540-61630-6\_4},
  timestamp    = {Sat, 19 Oct 2019 20:16:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DegtyarevMV96,
  author       = {Anatoli Degtyarev and
                  Yuri V. Matiyasevich and
                  Andrei Voronkov},
  title        = {Simultaneous E-Unification and Related Algorithmic Problems},
  booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
                  New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages        = {494--502},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/LICS.1996.561466},
  doi          = {10.1109/LICS.1996.561466},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DegtyarevMV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {Decidability Problems for the Prenex Fragment of Intuitionistic Logic},
  booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
                  New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages        = {503--512},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/LICS.1996.561467},
  doi          = {10.1109/LICS.1996.561467},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/DegtyarevV95,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Hans Kleine B{\"{u}}ning},
  title        = {Simultaneous Regid E-Unification Is Undecidable},
  booktitle    = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
                  Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1092},
  pages        = {178--190},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61377-3\_38},
  doi          = {10.1007/3-540-61377-3\_38},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DegtyarevV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DegtyarevV95,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Leon Sterling},
  title        = {A New Procedural Interpretation of Horn Clauses with Equality},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {565--579},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/DegtyarevV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/DegtyarevV95,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {Equality Elimination for the Inverse Method and Extension Procedures},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {342--347},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DegtyarevV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wocfai/DegtyarevV95,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Michel De Glas and
                  Zdzislaw Pawlak},
  title        = {General Connections via Equality Elimination},
  booktitle    = {Proceedings of the Second World Conference on the Fundamentals of
                  Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
  pages        = {109--120},
  publisher    = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
  year         = {1995},
  timestamp    = {Tue, 30 Jul 2019 08:58:42 +0200},
  biburl       = {https://dblp.org/rec/conf/wocfai/DegtyarevV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/AntimirovD93,
  author       = {Valentin M. Antimirov and
                  Anatoli Degtyarev},
  editor       = {Maurice Nivat and
                  Charles Rattray and
                  Teodor Rus and
                  Giuseppe Scollo},
  title        = {Completeness of Equational Definitions over Predefined Algebras},
  booktitle    = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
                  of the Third International Conference on Methodology and Software
                  Technology, University of Twente, Enschede, The Netherlands, 21-25
                  June, 1993},
  series       = {Workshops in Computing},
  pages        = {377--384},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Tue, 18 Feb 2003 11:00:12 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/AntimirovD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctrs/AntimirovD92,
  author       = {Valentin M. Antimirov and
                  Anatoli Degtyarev},
  editor       = {Micha{\"{e}}l Rusinowitch and
                  Jean{-}Luc R{\'{e}}my},
  title        = {Consistency and Semantics of Equational Definitions over Predefined
                  Algebras},
  booktitle    = {Conditional Term Rewriting Systems, Third International Workshop,
                  CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {656},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56393-8\_5},
  doi          = {10.1007/3-540-56393-8\_5},
  timestamp    = {Thu, 08 Aug 2019 14:41:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/AntimirovD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AntimirovD92,
  author       = {Valentin M. Antimirov and
                  Anatoli Degtyarev},
  editor       = {Andrei Voronkov},
  title        = {Consistency of Equational Enrichments},
  booktitle    = {Logic Programming and Automated Reasoning,International Conference
                  LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {624},
  pages        = {293--402},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013077},
  doi          = {10.1007/BFB0013077},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AntimirovD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.