Search dblp for Publications

export results for "toc:db/conf/rta/rta2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rta/Arts00,
  author       = {Thomas Arts},
  editor       = {Leo Bachmair},
  title        = {System Description: The Dependency Pair Method},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {261--264},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_18},
  doi          = {10.1007/10721975\_18},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Arts00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BjornerM00,
  author       = {Nikolaj S. Bj{\o}rner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Leo Bachmair},
  title        = {Absolute Explicit Unification},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {31--46},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_3},
  doi          = {10.1007/10721975\_3},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BjornerM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Blanqui00,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui},
  editor       = {Leo Bachmair},
  title        = {Termination and Confluence of Higher-Order Rewrite Systems},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_4},
  doi          = {10.1007/10721975\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Blanqui00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BonelliKR00,
  author       = {Eduardo Bonelli and
                  Delia Kesner and
                  Alejandro R{\'{\i}}os},
  editor       = {Leo Bachmair},
  title        = {A de Bruijn Notation for Higher-Order Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {62--79},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_5},
  doi          = {10.1007/10721975\_5},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BonelliKR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ContejeanCM00,
  author       = {Evelyne Contejean and
                  Antoine Coste and
                  Benjamin Monate},
  editor       = {Leo Bachmair},
  title        = {Rewriting Techniques in Theoretical Physics},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {80--94},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_6},
  doi          = {10.1007/10721975\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ContejeanCM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DoughertyG00,
  author       = {Daniel J. Dougherty and
                  Claudio Gutierrez},
  editor       = {Leo Bachmair},
  title        = {Normal Forms and Reduction for Theories of Binary Relations},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {95--109},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_7},
  doi          = {10.1007/10721975\_7},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/DoughertyG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ErkN00,
  author       = {Katrin Erk and
                  Joachim Niehren},
  editor       = {Leo Bachmair},
  title        = {Parallelism Constraints},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {110--126},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_8},
  doi          = {10.1007/10721975\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ErkN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Groote00,
  author       = {Philippe de Groote},
  editor       = {Leo Bachmair},
  title        = {Linear Higher-Order Matching Is NP-Complete},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {127--140},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_9},
  doi          = {10.1007/10721975\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Groote00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/JoachimskiM00,
  author       = {Felix Joachimski and
                  Ralph Matthes},
  editor       = {Leo Bachmair},
  title        = {Standardization and Confluence for a Lambda Calculus with Generalized
                  Applications},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_10},
  doi          = {10.1007/10721975\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/JoachimskiM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LevyV00,
  author       = {Jordi Levy and
                  Mateu Villaret},
  editor       = {Leo Bachmair},
  title        = {Linear Second-Order Unification and Context Unification with Tree-Regular
                  Constraints},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_11},
  doi          = {10.1007/10721975\_11},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LevyV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Lohrey00,
  author       = {Markus Lohrey},
  editor       = {Leo Bachmair},
  title        = {Word Problems and Confluence Problems for Restricted Semi-Thue Systems},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {172--186},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_12},
  doi          = {10.1007/10721975\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Lohrey00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Meseguer00,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Leo Bachmair},
  title        = {Rewriting Logic and Maude: Concepts and Applications},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {1--26},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_1},
  doi          = {10.1007/10721975\_1},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Meseguer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Moreau00,
  author       = {Pierre{-}Etienne Moreau},
  editor       = {Leo Bachmair},
  title        = {{REM} (Reduce Elan Machine): Core of the New {ELAN} Compiler},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {265--269},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_19},
  doi          = {10.1007/10721975\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Moreau00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/OhlebuschCM00,
  author       = {Enno Ohlebusch and
                  Claus Claves and
                  Claude March{\'{e}}},
  editor       = {Leo Bachmair},
  title        = {{TALP:} {A} Tool for the Termination Analysis of Logic Programs},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {270--273},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_20},
  doi          = {10.1007/10721975\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/OhlebuschCM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Pichler00,
  author       = {Reinhard Pichler},
  editor       = {Leo Bachmair},
  title        = {The Explicit Representability of Implicit Generalizations},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_13},
  doi          = {10.1007/10721975\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Pichler00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Statman00,
  author       = {Richard Statman},
  editor       = {Leo Bachmair},
  title        = {On the Word Problem for Combinators},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {203--213},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_14},
  doi          = {10.1007/10721975\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Statman00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Struth00,
  author       = {Georg Struth},
  editor       = {Leo Bachmair},
  title        = {An Algebra of Resolution},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {214--228},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_15},
  doi          = {10.1007/10721975\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Struth00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Stuber00,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Leo Bachmair},
  title        = {Deriving Theory Superposition Calculi from Convergent Term Rewriting
                  Systems},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {229--245},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_16},
  doi          = {10.1007/10721975\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Stuber00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/TakaiKS00,
  author       = {Toshinori Takai and
                  Yuichi Kaji and
                  Hiroyuki Seki},
  editor       = {Leo Bachmair},
  title        = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively
                  Preserve Recognizability},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {246--260},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_17},
  doi          = {10.1007/10721975\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/TakaiKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Tison00,
  author       = {Sophie Tison},
  editor       = {Leo Bachmair},
  title        = {Tree Automata and Term Rewrite Systems},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {27--30},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_2},
  doi          = {10.1007/10721975\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Tison00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2000,
  editor       = {Leo Bachmair},
  title        = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975},
  doi          = {10.1007/10721975},
  isbn         = {3-540-67778-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.