Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rta/AotoYT09,
  author       = {Takahito Aoto and
                  Junichi Yoshida and
                  Yoshihito Toyama},
  editor       = {Ralf Treinen},
  title        = {Proving Confluence of Term Rewriting Systems Automatically},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {93--102},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_7},
  doi          = {10.1007/978-3-642-02348-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AotoYT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AvanziniM09,
  author       = {Martin Avanzini and
                  Georg Moser},
  editor       = {Ralf Treinen},
  title        = {Dependency Pairs and Polynomial Path Orders},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_4},
  doi          = {10.1007/978-3-642-02348-4\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AvanziniM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BaaderM09,
  author       = {Franz Baader and
                  Barbara Morawska},
  editor       = {Ralf Treinen},
  title        = {Unification in the Description Logic {EL}},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {350--364},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_25},
  doi          = {10.1007/978-3-642-02348-4\_25},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaaderM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BaudetCD09,
  author       = {Mathieu Baudet and
                  V{\'{e}}ronique Cortier and
                  St{\'{e}}phanie Delaune},
  editor       = {Ralf Treinen},
  title        = {{YAPA:} {A} Generic Tool for Computing Intruder Knowledge},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {148--163},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_11},
  doi          = {10.1007/978-3-642-02348-4\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaudetCD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BursucC09,
  author       = {Sergiu Bursuc and
                  Hubert Comon{-}Lundh},
  editor       = {Ralf Treinen},
  title        = {Protocol Security and Algebraic Properties: Decision Results for a
                  Bounded Number of Sessions},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_10},
  doi          = {10.1007/978-3-642-02348-4\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BursucC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ClavelDEELMMT09,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Santiago Escobar and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Ralf Treinen},
  title        = {Unification and Narrowing in Maude 2.4},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {380--390},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_27},
  doi          = {10.1007/978-3-642-02348-4\_27},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ClavelDEELMMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DuvalEP09,
  author       = {Dominique Duval and
                  Rachid Echahed and
                  Fr{\'{e}}d{\'{e}}ric Prost},
  editor       = {Ralf Treinen},
  title        = {A Heterogeneous Pushout Approach to Term-Graph Transformation},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_14},
  doi          = {10.1007/978-3-642-02348-4\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DuvalEP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/EndrullisH09,
  author       = {J{\"{o}}rg Endrullis and
                  Dimitri Hendriks},
  editor       = {Ralf Treinen},
  title        = {From Outermost to Context-Sensitive Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {305--319},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_22},
  doi          = {10.1007/978-3-642-02348-4\_22},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/EndrullisH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/EndrullisVW09,
  author       = {J{\"{o}}rg Endrullis and
                  Roel C. de Vrijer and
                  Johannes Waldmann},
  editor       = {Ralf Treinen},
  title        = {Local Termination},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {270--284},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_19},
  doi          = {10.1007/978-3-642-02348-4\_19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/EndrullisVW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Falco09,
  author       = {Marc de Falco},
  editor       = {Ralf Treinen},
  title        = {An Explicit Framework for Interaction Nets},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_15},
  doi          = {10.1007/978-3-642-02348-4\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Falco09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/FuhsGPSF09,
  author       = {Carsten Fuhs and
                  J{\"{u}}rgen Giesl and
                  Martin Pl{\"{u}}cker and
                  Peter Schneider{-}Kamp and
                  Stephan Falke},
  editor       = {Ralf Treinen},
  title        = {Proving Termination of Integer Term Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_3},
  doi          = {10.1007/978-3-642-02348-4\_3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/FuhsGPSF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GasconGS09,
  author       = {Adri{\`{a}} Gasc{\'{o}}n and
                  Guillem Godoy and
                  Manfred Schmidt{-}Schau{\ss}},
  editor       = {Ralf Treinen},
  title        = {Unification with Singleton Tree Grammars},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {365--379},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_26},
  doi          = {10.1007/978-3-642-02348-4\_26},
  timestamp    = {Fri, 01 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GasconGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GodoyJ09,
  author       = {Guillem Godoy and
                  Florent Jacquemard},
  editor       = {Ralf Treinen},
  title        = {Unique Normalization for Shallow {TRS}},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_5},
  doi          = {10.1007/978-3-642-02348-4\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GodoyJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Kahrs09,
  author       = {Stefan Kahrs},
  editor       = {Ralf Treinen},
  title        = {Modularity of Convergence in Infinitary Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_13},
  doi          = {10.1007/978-3-642-02348-4\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kahrs09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Ketema09,
  author       = {Jeroen Ketema},
  editor       = {Ralf Treinen},
  title        = {Comparing B{\"{o}}hm-Like Trees},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_17},
  doi          = {10.1007/978-3-642-02348-4\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Ketema09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KimuraT09,
  author       = {Daisuke Kimura and
                  Makoto Tatsuta},
  editor       = {Ralf Treinen},
  title        = {Dual Calculus with Inductive and Coinductive Types},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_16},
  doi          = {10.1007/978-3-642-02348-4\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KimuraT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KorpSZM09,
  author       = {Martin Korp and
                  Christian Sternagel and
                  Harald Zankl and
                  Aart Middeldorp},
  editor       = {Ralf Treinen},
  title        = {Tyrolean Termination Tool 2},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {295--304},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_21},
  doi          = {10.1007/978-3-642-02348-4\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/KorpSZM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Lopez-FraguasRS09,
  author       = {Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
                  Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  editor       = {Ralf Treinen},
  title        = {A Fully Abstract Semantics for Constructor Systems},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {320--334},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_23},
  doi          = {10.1007/978-3-642-02348-4\_23},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Lopez-FraguasRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/MoserS09,
  author       = {Georg Moser and
                  Andreas Schnabl},
  editor       = {Ralf Treinen},
  title        = {The Derivational Complexity Induced by the Dependency Pair Method},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {255--269},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_18},
  doi          = {10.1007/978-3-642-02348-4\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/MoserS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SchernhammerG09,
  author       = {Felix Schernhammer and
                  Bernhard Gramlich},
  editor       = {Ralf Treinen},
  title        = {{VMTL-A} Modular Termination Laboratory},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {285--294},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_20},
  doi          = {10.1007/978-3-642-02348-4\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SchernhammerG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Schubert09,
  author       = {Aleksy Schubert},
  editor       = {Ralf Treinen},
  title        = {The Existential Fragment of the One-Step Parallel Rewriting Theory},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_6},
  doi          = {10.1007/978-3-642-02348-4\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Schubert09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SeidlV09,
  author       = {Helmut Seidl and
                  Kumar Neeraj Verma},
  editor       = {Ralf Treinen},
  title        = {Flat and One-Variable Clauses for Single Blind Copying Protocols:
                  The {XOR} Case},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {118--132},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_9},
  doi          = {10.1007/978-3-642-02348-4\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SeidlV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Simonsen09,
  author       = {Jakob Grue Simonsen},
  editor       = {Ralf Treinen},
  title        = {The -Completeness of Most of the Properties of Rewriting Systems You
                  Care About (and Productivity)},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {335--349},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_24},
  doi          = {10.1007/978-3-642-02348-4\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Simonsen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ThiemannS09,
  author       = {Ren{\'{e}} Thiemann and
                  Christian Sternagel},
  editor       = {Ralf Treinen},
  title        = {Loops under Strategies},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_2},
  doi          = {10.1007/978-3-642-02348-4\_2},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ThiemannS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/TiuG09,
  author       = {Alwen Tiu and
                  Rajeev Gor{\'{e}}},
  editor       = {Ralf Treinen},
  title        = {A Proof Theoretic Analysis of Intruder Theories},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {103--117},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_8},
  doi          = {10.1007/978-3-642-02348-4\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/TiuG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Waldmann09,
  author       = {Johannes Waldmann},
  editor       = {Ralf Treinen},
  title        = {Automatic Termination},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_1},
  doi          = {10.1007/978-3-642-02348-4\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Waldmann09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Zantema09,
  author       = {Hans Zantema},
  editor       = {Ralf Treinen},
  title        = {Well-Definedness of Streams by Termination},
  booktitle    = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4\_12},
  doi          = {10.1007/978-3-642-02348-4\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Zantema09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2009,
  editor       = {Ralf Treinen},
  title        = {Rewriting Techniques and Applications, 20th International Conference,
                  {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5595},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02348-4},
  doi          = {10.1007/978-3-642-02348-4},
  isbn         = {978-3-642-02347-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/2009.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.