Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rta/AotoY03,
  author       = {Takahito Aoto and
                  Toshiyuki Yamada},
  editor       = {Robert Nieuwenhuis},
  title        = {Termination of Simply Typed Term Rewriting by Translation and Labelling},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {380--394},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_27},
  doi          = {10.1007/3-540-44881-0\_27},
  timestamp    = {Sun, 02 Oct 2022 16:14:20 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AotoY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BartheS03,
  author       = {Gilles Barthe and
                  Sorin Stratulat},
  editor       = {Robert Nieuwenhuis},
  title        = {Validation of the JavaCard Platform with Implicit Induction Techniques},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {337--351},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_24},
  doi          = {10.1007/3-540-44881-0\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BartheS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Blanqui03,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui},
  editor       = {Robert Nieuwenhuis},
  title        = {Rewriting Modulo in Deduction Modulo},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {395--409},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_28},
  doi          = {10.1007/3-540-44881-0\_28},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Blanqui03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BorrallerasR03,
  author       = {Cristina Borralleras and
                  Albert Rubio},
  editor       = {Robert Nieuwenhuis},
  title        = {Monotonic AC-Compatible Semantic Path Orderings},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {279--295},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_20},
  doi          = {10.1007/3-540-44881-0\_20},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BorrallerasR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BournezCCKI03,
  author       = {Olivier Bournez and
                  Guy{-}Marie C{\^{o}}me and
                  Val{\'{e}}rie Conraud and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Liliana Ibanescu},
  editor       = {Robert Nieuwenhuis},
  title        = {A Rule-Based Approach for Automated Generation of Kinetic Chemical
                  Mechanisms},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {30--45},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_4},
  doi          = {10.1007/3-540-44881-0\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BournezCCKI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BournezH03,
  author       = {Olivier Bournez and
                  Mathieu Hoyrup},
  editor       = {Robert Nieuwenhuis},
  title        = {Rewriting Logic and Probabilities},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_6},
  doi          = {10.1007/3-540-44881-0\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BournezH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BrandMV03,
  author       = {Mark van den Brand and
                  Pierre{-}Etienne Moreau and
                  Jurgen J. Vinju},
  editor       = {Robert Nieuwenhuis},
  title        = {Environments for Term Rewriting Engines for Free!},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {424--435},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_30},
  doi          = {10.1007/3-540-44881-0\_30},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/BrandMV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Bruggink03,
  author       = {H. J. Sander Bruggink},
  editor       = {Robert Nieuwenhuis},
  title        = {Residuals in Higher-Order Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {123--137},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_10},
  doi          = {10.1007/3-540-44881-0\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Bruggink03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ChenRV03,
  author       = {Feng Chen and
                  Grigore Rosu and
                  Ram Prasad Venkatesan},
  editor       = {Robert Nieuwenhuis},
  title        = {Rule-Based Analysis of Dimensional Safety},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {197--207},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_15},
  doi          = {10.1007/3-540-44881-0\_15},
  timestamp    = {Tue, 28 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/ChenRV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ClavelDELMMT03,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Robert Nieuwenhuis},
  title        = {The Maude 2.0 System},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_7},
  doi          = {10.1007/3-540-44881-0\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ClavelDELMMT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Comon-LundhC03,
  author       = {Hubert Comon{-}Lundh and
                  V{\'{e}}ronique Cortier},
  editor       = {Robert Nieuwenhuis},
  title        = {New Decidability Results for Fragments of First-Order Logic and Application
                  to Cryptographic Protocols},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {148--164},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_12},
  doi          = {10.1007/3-540-44881-0\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Comon-LundhC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Dal-ZilioL03,
  author       = {Silvano Dal{-}Zilio and
                  Denis Lugiez},
  editor       = {Robert Nieuwenhuis},
  title        = {{XML} Schema, Tree Logic and Sheaves Automata},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {246--263},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_18},
  doi          = {10.1007/3-540-44881-0\_18},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Dal-ZilioL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Dowek03,
  author       = {Gilles Dowek},
  editor       = {Robert Nieuwenhuis},
  title        = {Confluence as a Cut Elimination Property},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {2--13},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_2},
  doi          = {10.1007/3-540-44881-0\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Dowek03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Eker03,
  author       = {Steven Eker},
  editor       = {Robert Nieuwenhuis},
  title        = {Associative-Commutative Rewriting on Large Terms},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {14--29},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_3},
  doi          = {10.1007/3-540-44881-0\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Eker03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ForestK03,
  author       = {Julien Forest and
                  Delia Kesner},
  editor       = {Robert Nieuwenhuis},
  title        = {Expression Reduction Systems with Patterns},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_9},
  doi          = {10.1007/3-540-44881-0\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ForestK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Geser03,
  author       = {Alfons Geser},
  editor       = {Robert Nieuwenhuis},
  title        = {Termination of String Rewriting Rules That Have One Pair of Overlaps},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {410--423},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_29},
  doi          = {10.1007/3-540-44881-0\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Geser03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GhaniH03,
  author       = {Neil Ghani and
                  Anne Heyworth},
  editor       = {Robert Nieuwenhuis},
  title        = {A Rewriting Alternative to Reidemeister-Schreier},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {452--466},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_32},
  doi          = {10.1007/3-540-44881-0\_32},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GhaniH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Giavitto03,
  author       = {Jean{-}Louis Giavitto},
  editor       = {Robert Nieuwenhuis},
  title        = {Invited Talk: Topological Collections, Transformations and Their Application
                  to the Modeling and the Simulation of Dynamical Systems},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {208--233},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_16},
  doi          = {10.1007/3-540-44881-0\_16},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Giavitto03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GieslZ03,
  author       = {J{\"{u}}rgen Giesl and
                  Hans Zantema},
  editor       = {Robert Nieuwenhuis},
  title        = {Liveness in Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_23},
  doi          = {10.1007/3-540-44881-0\_23},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GieslZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GraniczZH03,
  author       = {Adam Granicz and
                  Daniel M. Zimmerman and
                  Jason Hickey},
  editor       = {Robert Nieuwenhuis},
  title        = {Rewriting {UNITY}},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {138--147},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_11},
  doi          = {10.1007/3-540-44881-0\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GraniczZH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HirokawaM03,
  author       = {Nao Hirokawa and
                  Aart Middeldorp},
  editor       = {Robert Nieuwenhuis},
  title        = {Tsukuba Termination Tool},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {311--320},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_22},
  doi          = {10.1007/3-540-44881-0\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HirokawaM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KapurNW03,
  author       = {Deepak Kapur and
                  Paliath Narendran and
                  Lida Wang},
  editor       = {Robert Nieuwenhuis},
  title        = {An E-unification Algorithm for Analyzing Protocols That Use Modular
                  Exponentiation},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_13},
  doi          = {10.1007/3-540-44881-0\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KapurNW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KhasidashviliG03,
  author       = {Zurab Khasidashvili and
                  John R. W. Glauert},
  editor       = {Robert Nieuwenhuis},
  title        = {Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial
                  Orders with Duplication)},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {467--482},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_33},
  doi          = {10.1007/3-540-44881-0\_33},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KhasidashviliG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Kutsia03,
  author       = {Temur Kutsia},
  editor       = {Robert Nieuwenhuis},
  title        = {Equational Prover of {THEOREMA}},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {367--379},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_26},
  doi          = {10.1007/3-540-44881-0\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kutsia03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Lincoln03,
  author       = {Patrick Lincoln},
  editor       = {Robert Nieuwenhuis},
  title        = {Invited Talk: Symbolic Systems Biology},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {1},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_1},
  doi          = {10.1007/3-540-44881-0\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Lincoln03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/McAllester03,
  author       = {David A. McAllester},
  editor       = {Robert Nieuwenhuis},
  title        = {Joint {RTA-TLCA} Invited Talk: {A} Logical Algorithm for {ML} Type
                  Inference},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {436--451},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_31},
  doi          = {10.1007/3-540-44881-0\_31},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/McAllester03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/MoserW03,
  author       = {Georg Moser and
                  Andreas Weiermann},
  editor       = {Robert Nieuwenhuis},
  title        = {Relating Derivation Lengths with the Slow-Growing Hierarchy Directly},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {296--310},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_21},
  doi          = {10.1007/3-540-44881-0\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/MoserW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/OhsakiST03,
  author       = {Hitoshi Ohsaki and
                  Hiroyuki Seki and
                  Toshinori Takai},
  editor       = {Robert Nieuwenhuis},
  title        = {Recognizing Boolean Closed A-Tree Languages with Membership Conditional
                  Rewriting Mechanism},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {483--498},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_34},
  doi          = {10.1007/3-540-44881-0\_34},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/OhsakiST03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/RouV03,
  author       = {Grigore Rosu and
                  Mahesh Viswanathan},
  editor       = {Robert Nieuwenhuis},
  title        = {Testing Extended Regular Language Membership Incrementally by Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {499--514},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_35},
  doi          = {10.1007/3-540-44881-0\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/RouV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SalvatiG03,
  author       = {Sylvain Salvati and
                  Philippe de Groote},
  editor       = {Robert Nieuwenhuis},
  title        = {On the Complexity of Higher-Order Matching in the Linear lambda-Calculus},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {234--245},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_17},
  doi          = {10.1007/3-540-44881-0\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SalvatiG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SinotFM03,
  author       = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot and
                  Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  editor       = {Robert Nieuwenhuis},
  title        = {Efficient Reductions with Director Strings},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_5},
  doi          = {10.1007/3-540-44881-0\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SinotFM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ThiemannG03,
  author       = {Ren{\'{e}} Thiemann and
                  J{\"{u}}rgen Giesl},
  editor       = {Robert Nieuwenhuis},
  title        = {Size-Change Termination for Term Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {264--278},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_19},
  doi          = {10.1007/3-540-44881-0\_19},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ThiemannG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/UrsoK03,
  author       = {Pascal Urso and
                  Emmanuel Kounalis},
  editor       = {Robert Nieuwenhuis},
  title        = {"Term Partition" for Mathematical Induction},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {352--366},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_25},
  doi          = {10.1007/3-540-44881-0\_25},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/UrsoK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Verma03,
  author       = {Kumar Neeraj Verma},
  editor       = {Robert Nieuwenhuis},
  title        = {Two-Way Equational Tree Automata for AC-Like Theories: Decidability
                  and Closure Properties},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {180--196},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_14},
  doi          = {10.1007/3-540-44881-0\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Verma03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/WellsPK03,
  author       = {J. B. Wells and
                  Detlef Plump and
                  Fairouz Kamareddine},
  editor       = {Robert Nieuwenhuis},
  title        = {Diagrams for Meaning Preservation},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {88--106},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_8},
  doi          = {10.1007/3-540-44881-0\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/WellsPK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2003,
  editor       = {Robert Nieuwenhuis},
  title        = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0},
  doi          = {10.1007/3-540-44881-0},
  isbn         = {3-540-40254-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/2003.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.