default search action
Search dblp for Publications
export results for "toc:db/conf/rta/rta2007.bht:"
@inproceedings{DBLP:conf/rta/AnantharamanNR07, author = {Siva Anantharaman and Paliath Narendran and Micha{\"{e}}l Rusinowitch}, editor = {Franz Baader}, title = {Intruders with Caps}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {20--35}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_4}, doi = {10.1007/978-3-540-73449-9\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/AnantharamanNR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BallandBKMR07, author = {Emilie Balland and Paul Brauner and Radu Kopetz and Pierre{-}Etienne Moreau and Antoine Reilles}, editor = {Franz Baader}, title = {Tom: Piggybacking Rewriting on Java}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {36--47}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_5}, doi = {10.1007/978-3-540-73449-9\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BallandBKMR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BoichutGJR07, author = {Yohan Boichut and Thomas Genet and Thomas P. Jensen and Luka Le Roux}, editor = {Franz Baader}, title = {Rewriting Approximations for Fast Prototyping of Static Analyzers}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {48--62}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_6}, doi = {10.1007/978-3-540-73449-9\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BoichutGJR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/CirsteaF07, author = {Horatiu Cirstea and Germain Faure}, editor = {Franz Baader}, title = {Confluence of Pattern-Based Calculi}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {78--92}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_8}, doi = {10.1007/978-3-540-73449-9\_8}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/CirsteaF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/DowekH07, author = {Gilles Dowek and Olivier Hermant}, editor = {Franz Baader}, title = {A Simple Proof That Super-Consistency Implies Cut Elimination}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {93--106}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_9}, doi = {10.1007/978-3-540-73449-9\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/DowekH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/DurandS07, author = {Ir{\`{e}}ne Durand and G{\'{e}}raud S{\'{e}}nizergues}, editor = {Franz Baader}, title = {Bottom-Up Rewriting Is Inverse Recognizability Preserving}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {107--121}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_10}, doi = {10.1007/978-3-540-73449-9\_10}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/DurandS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/DuvalEP07, author = {Dominique Duval and Rachid Echahed and Fr{\'{e}}d{\'{e}}ric Prost}, editor = {Franz Baader}, title = {Adjunction for Garbage Collection with Application to Graph Rewriting}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {122--136}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_11}, doi = {10.1007/978-3-540-73449-9\_11}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/DuvalEP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/EchahedP07, author = {Rachid Echahed and Nicolas Peltier}, editor = {Franz Baader}, title = {Non Strict Confluent Rewrite Systems for Data-Structures with Pointers}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {137--152}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_12}, doi = {10.1007/978-3-540-73449-9\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/EchahedP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/EscobarM07, author = {Santiago Escobar and Jos{\'{e}} Meseguer}, editor = {Franz Baader}, title = {Symbolic Model Checking of Infinite-State Systems Using Narrowing}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {153--168}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_13}, doi = {10.1007/978-3-540-73449-9\_13}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/EscobarM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/GodoyH07, author = {Guillem Godoy and Eduard Huntingford}, editor = {Franz Baader}, title = {Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {184--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_15}, doi = {10.1007/978-3-540-73449-9\_15}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/GodoyH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/GodoyHT07, author = {Guillem Godoy and Eduard Huntingford and Ashish Tiwari}, editor = {Franz Baader}, title = {Termination of Rewriting with Right-Flat Rules}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {200--213}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_16}, doi = {10.1007/978-3-540-73449-9\_16}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rta/GodoyHT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/HaemmerleF07, author = {R{\'{e}}my Haemmerl{\'{e}} and Fran{\c{c}}ois Fages}, editor = {Franz Baader}, title = {Abstract Critical Pairs and Confluence of Arbitrary Binary Relations}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {214--228}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_17}, doi = {10.1007/978-3-540-73449-9\_17}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/HaemmerleF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/HendrixM07, author = {Joe Hendrix and Jos{\'{e}} Meseguer}, editor = {Franz Baader}, title = {On the Completeness of Context-Sensitive Order-Sorted Specifications}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {229--245}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_18}, doi = {10.1007/978-3-540-73449-9\_18}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/HendrixM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/HillsR07, author = {Mark Hills and Grigore Rosu}, editor = {Franz Baader}, title = {{KOOL:} An Application of Rewriting Logic to Language Prototyping and Analysis}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {246--256}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_19}, doi = {10.1007/978-3-540-73449-9\_19}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/HillsR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Kikuchi07, author = {Kentaro Kikuchi}, editor = {Franz Baader}, title = {Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {257--272}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_20}, doi = {10.1007/978-3-540-73449-9\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Kikuchi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/KorpM07, author = {Martin Korp and Aart Middeldorp}, editor = {Franz Baader}, title = {Proving Termination of Rewrite Systems Using Bounds}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {273--287}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_21}, doi = {10.1007/978-3-540-73449-9\_21}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/KorpM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/KutsiaLV07, author = {Temur Kutsia and Jordi Levy and Mateu Villaret}, editor = {Franz Baader}, title = {Sequence Unification Through Currying}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {288--302}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_22}, doi = {10.1007/978-3-540-73449-9\_22}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rta/KutsiaLV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Leroy07, author = {Xavier Leroy}, editor = {Franz Baader}, title = {Formal Verification of an Optimizing Compiler}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {1}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_1}, doi = {10.1007/978-3-540-73449-9\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Leroy07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/MarcheZ07, author = {Claude March{\'{e}} and Hans Zantema}, editor = {Franz Baader}, title = {The Termination Competition}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {303--313}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_23}, doi = {10.1007/978-3-540-73449-9\_23}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/MarcheZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/NieuwenhuisORR07, author = {Robert Nieuwenhuis and Albert Oliveras and Enric Rodr{\'{\i}}guez{-}Carbonell and Albert Rubio}, editor = {Franz Baader}, title = {Challenges in Satisfiability Modulo Theories}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {2--18}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_2}, doi = {10.1007/978-3-540-73449-9\_2}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rta/NieuwenhuisORR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Oostrom07, author = {Vincent van Oostrom}, editor = {Franz Baader}, title = {Random Descent}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {314--328}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_24}, doi = {10.1007/978-3-540-73449-9\_24}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Oostrom07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Pfenning07, author = {Frank Pfenning}, editor = {Franz Baader}, title = {On a Logical Foundation for Explicit Substitutions}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {19}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_3}, doi = {10.1007/978-3-540-73449-9\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Pfenning07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Santo07, author = {Jos{\'{e}} Esp{\'{\i}}rito Santo}, editor = {Franz Baader}, title = {Delayed Substitutions}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {169--183}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_14}, doi = {10.1007/978-3-540-73449-9\_14}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rta/Santo07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Schmidt-Schauss07, author = {Manfred Schmidt{-}Schau{\ss}}, editor = {Franz Baader}, title = {Correctness of Copy in Calculi with Letrec}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {329--343}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_25}, doi = {10.1007/978-3-540-73449-9\_25}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Schmidt-Schauss07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Strassburger07, author = {Lutz Stra{\ss}burger}, editor = {Franz Baader}, title = {A Characterization of Medial as Rewriting Rule}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {344--358}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_26}, doi = {10.1007/978-3-540-73449-9\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Strassburger07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Tatsuta07, author = {Makoto Tatsuta}, editor = {Franz Baader}, title = {The Maximum Length of Mu-Reduction in Lambda Mu-Calculus}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {359--373}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_27}, doi = {10.1007/978-3-540-73449-9\_27}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Tatsuta07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/TourE07, author = {Thierry Boy de la Tour and Mnacho Echenim}, editor = {Franz Baader}, title = {Determining Unify-Stable Presentations}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {63--77}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_7}, doi = {10.1007/978-3-540-73449-9\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/TourE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Vaux07, author = {Lionel Vaux}, editor = {Franz Baader}, title = {On Linear Combinations of \emph{lambda} -Terms}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {374--388}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_28}, doi = {10.1007/978-3-540-73449-9\_28}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/Vaux07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/ZanklM07, author = {Harald Zankl and Aart Middeldorp}, editor = {Franz Baader}, title = {Satisfying {KBO} Constraints}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {389--403}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_29}, doi = {10.1007/978-3-540-73449-9\_29}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/ZanklM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/ZantemaW07, author = {Hans Zantema and Johannes Waldmann}, editor = {Franz Baader}, title = {Termination by Quasi-periodic Interpretations}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {404--418}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_30}, doi = {10.1007/978-3-540-73449-9\_30}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/ZantemaW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rta/2007, editor = {Franz Baader}, title = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9}, doi = {10.1007/978-3-540-73449-9}, isbn = {978-3-540-73447-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/2007.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.