Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rta/rta2000.bht:"
@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} }
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.