Search dblp for Publications

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

 download as .bib file

@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}
}
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.