Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rta/AbdulrabM95,
  author       = {Habib Abdulrab and
                  Marianne Maksimenko},
  editor       = {Jieh Hsiang},
  title        = {General Solution of Systems of Linear Diophantine Equations and Inequations},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {339--351},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_68},
  doi          = {10.1007/3-540-59200-8\_68},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AbdulrabM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Alouini95,
  author       = {Ilies Alouini},
  editor       = {Jieh Hsiang},
  title        = {Concurrent Garbage Collection for Concurrent Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_53},
  doi          = {10.1007/3-540-59200-8\_53},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Alouini95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AnantharamanR95,
  author       = {Siva Anantharaman and
                  Gilles Richard},
  editor       = {Jieh Hsiang},
  title        = {A Rewrite Mechanism for Logic Programs with Negation},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_55},
  doi          = {10.1007/3-540-59200-8\_55},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AnantharamanR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Asperti95,
  author       = {Andrea Asperti},
  editor       = {Jieh Hsiang},
  title        = {\emph{delta}o!\emph{Epsilon} = 1 - Optimizing Optimal \emph{lambda}-Calculus
                  Implementations},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_51},
  doi          = {10.1007/3-540-59200-8\_51},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Asperti95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AvenhausDF95,
  author       = {J{\"{u}}rgen Avenhaus and
                  J{\"{o}}rg Denzinger and
                  Matthias Fuchs},
  editor       = {Jieh Hsiang},
  title        = {{DISCOUNT:} {A} SYstem for Distributed Equational Deduction},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {397--402},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_72},
  doi          = {10.1007/3-540-59200-8\_72},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AvenhausDF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BaaderS95,
  author       = {Franz Baader and
                  Klaus U. Schulz},
  editor       = {Jieh Hsiang},
  title        = {Combination of Constraint Solving Techniques: An Algebraic POint of
                  View},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {352--366},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_69},
  doi          = {10.1007/3-540-59200-8\_69},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaaderS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BakelF95,
  author       = {Steffen van Bakel and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Jieh Hsiang},
  title        = {(Head-) Normalization of Typeable Rewrite Systems},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {279--293},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_64},
  doi          = {10.1007/3-540-59200-8\_64},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BakelF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Bellegarde95,
  author       = {Fran{\c{c}}oise Bellegarde},
  editor       = {Jieh Hsiang},
  title        = {{ASTRE:} Towards a Fully Automated Program Transformation System},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {403--407},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_73},
  doi          = {10.1007/3-540-59200-8\_73},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Bellegarde95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Boulton95,
  author       = {Richard J. Boulton},
  editor       = {Jieh Hsiang},
  title        = {A Restricted Form on Higher-Order Rewriting Applied to an {HDL} Semantics},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {309--323},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_66},
  doi          = {10.1007/3-540-59200-8\_66},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Boulton95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BundgenGK95,
  author       = {Reinhard B{\"{u}}ndgen and
                  Manfred G{\"{o}}bel and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Jieh Hsiang},
  title        = {Parallel ReDuX -{\textgreater} PaReDuX},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {408--413},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_74},
  doi          = {10.1007/3-540-59200-8\_74},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BundgenGK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Burghardt95,
  author       = {Jochen Burghardt},
  editor       = {Jieh Hsiang},
  title        = {Regular Substitution Sets: {A} Means of Controlling E-Unification},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {382--396},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_71},
  doi          = {10.1007/3-540-59200-8\_71},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Burghardt95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ChazarainM95,
  author       = {Jacques Chazarain and
                  Serge Muller},
  editor       = {Jieh Hsiang},
  title        = {{LEMMA:} {A} System for Automated Synthesis of Recursive Programs
                  in Equational Theories},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {420--425},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_76},
  doi          = {10.1007/3-540-59200-8\_76},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ChazarainM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ChenA95,
  author       = {Ta Chen and
                  Siva Anantharaman},
  editor       = {Jieh Hsiang},
  title        = {{STORM:} {A} MAny-to-One Associative-Commutative Matcher},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {414--419},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_75},
  doi          = {10.1007/3-540-59200-8\_75},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ChenA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CorradiniGM95,
  author       = {Andrea Corradini and
                  Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Jieh Hsiang},
  title        = {Relating Two Categorial Models of Term Rewriting},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {225--240},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_59},
  doi          = {10.1007/3-540-59200-8\_59},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CorradiniGM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DershowitzJK95,
  author       = {Nachum Dershowitz and
                  Jean{-}Pierre Jouannaud and
                  Jan Willem Klop},
  editor       = {Jieh Hsiang},
  title        = {Problems in Rewriting {III}},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {457--471},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_82},
  doi          = {10.1007/3-540-59200-8\_82},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DershowitzJK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Gehrke95,
  author       = {Wolfgang Gehrke},
  editor       = {Jieh Hsiang},
  title        = {Problems in Rewriting Applied to Categorical Concepts by the Example
                  of a Computational Comonad},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_58},
  doi          = {10.1007/3-540-59200-8\_58},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Gehrke95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Giesl95,
  author       = {J{\"{u}}rgen Giesl},
  editor       = {Jieh Hsiang},
  title        = {Generating Polynomial Orderings for Termination Proofs},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {426--431},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_77},
  doi          = {10.1007/3-540-59200-8\_77},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Giesl95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Graf95,
  author       = {Peter Graf},
  editor       = {Jieh Hsiang},
  title        = {Substitution Tree Indexing},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_52},
  doi          = {10.1007/3-540-59200-8\_52},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Graf95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Holmes95,
  author       = {M. Randall Holmes},
  editor       = {Jieh Hsiang},
  title        = {Disguising Recursively Chained Rewrite Rules as Equational Theorems,
                  as Implemented in the Prover {EFTTP} Mark 2},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {432--437},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_78},
  doi          = {10.1007/3-540-59200-8\_78},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Holmes95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Kahrs95,
  author       = {Stefan Kahrs},
  editor       = {Jieh Hsiang},
  title        = {Towards a Domain Theory for Termination Proofs},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {241--255},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_60},
  doi          = {10.1007/3-540-59200-8\_60},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kahrs95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KampermanW95,
  author       = {J. F. Th. Kamperman and
                  H. R. Walters},
  editor       = {Jieh Hsiang},
  title        = {Lazy Rewriting and Eager Machinery},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_54},
  doi          = {10.1007/3-540-59200-8\_54},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KampermanW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KennawayKSV95,
  author       = {Richard Kennaway and
                  Jan Willem Klop and
                  M. Ronan Sleep and
                  Fer{-}Jan de Vries},
  editor       = {Jieh Hsiang},
  title        = {Infinitary Lambda Calculi and B{\"{o}}hm Models},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {257--270},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_62},
  doi          = {10.1007/3-540-59200-8\_62},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KennawayKSV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KirchnerM95,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  editor       = {Jieh Hsiang},
  title        = {Prototyping Completion with Constraints Using Computational Systems},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {438--443},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_79},
  doi          = {10.1007/3-540-59200-8\_79},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KirchnerM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Kuper95,
  author       = {Jan Kuper},
  editor       = {Jieh Hsiang},
  title        = {Proving the Genericity Lemma by Leftmost Reduction is Simple},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {271--278},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_63},
  doi          = {10.1007/3-540-59200-8\_63},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Kuper95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KuriharaKO95,
  author       = {Masahito Kurihara and
                  Hisashi Kondo and
                  Azuma Ohuchi},
  editor       = {Jieh Hsiang},
  title        = {Completion for Multiple Reduction Orderings},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_48},
  doi          = {10.1007/3-540-59200-8\_48},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KuriharaKO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LescanneR95,
  author       = {Pierre Lescanne and
                  Jocelyne Rouyer{-}Degli},
  editor       = {Jieh Hsiang},
  title        = {Explicit Substitutions with de Bruijn's Levels},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {294--308},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_65},
  doi          = {10.1007/3-540-59200-8\_65},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LescanneR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LysneP95,
  author       = {Olav Lysne and
                  Javier Piris},
  editor       = {Jieh Hsiang},
  title        = {A Termination Ordering for Higher Order Rewrite System},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {26--40},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_45},
  doi          = {10.1007/3-540-59200-8\_45},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LysneP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Marchiori95,
  author       = {Massimo Marchiori},
  editor       = {Jieh Hsiang},
  title        = {Modularity of Completeness Revisited},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {2--10},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_43},
  doi          = {10.1007/3-540-59200-8\_43},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Marchiori95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Matiyasevich95,
  author       = {Yuri V. Matiyasevich},
  editor       = {Jieh Hsiang},
  title        = {On Some Mathematical Logic Contributions to Rewriting Techniques:
                  Lost Heritage (Abstract)},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {1},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_42},
  doi          = {10.1007/3-540-59200-8\_42},
  timestamp    = {Tue, 19 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Matiyasevich95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Nieuwenhuis95,
  author       = {Robert Nieuwenhuis},
  editor       = {Jieh Hsiang},
  title        = {On Narrowing, Refutation Proofs and Constraints},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {56--70},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_47},
  doi          = {10.1007/3-540-59200-8\_47},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Nieuwenhuis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Nipkow95,
  author       = {Tobias Nipkow},
  editor       = {Jieh Hsiang},
  title        = {Higher-Order Rewrite Systems (Abstract)},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {256},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_61},
  doi          = {10.1007/3-540-59200-8\_61},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Nipkow95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/OttoND95,
  author       = {Friedrich Otto and
                  Paliath Narendran and
                  Daniel J. Dougherty},
  editor       = {Jieh Hsiang},
  title        = {Some Independent Results for Equational Unification},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {367--381},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_70},
  doi          = {10.1007/3-540-59200-8\_70},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/OttoND95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Paccanaro95,
  author       = {Alberto Paccanaro},
  editor       = {Jieh Hsiang},
  title        = {Guiding Term Reduction Through a Neural Network: Some Prelimanary
                  Results for the Group Theory},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {444--449},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_80},
  doi          = {10.1007/3-540-59200-8\_80},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Paccanaro95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SchmidF95,
  author       = {Klaus Schmid and
                  Roland Fettig},
  editor       = {Jieh Hsiang},
  title        = {Towards an Efficient Construction of Test Sets for Deciding Ground
                  Reducability},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {86--100},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_49},
  doi          = {10.1007/3-540-59200-8\_49},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SchmidF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Senizergues95,
  author       = {G{\'{e}}raud S{\'{e}}nizergues},
  editor       = {Jieh Hsiang},
  title        = {A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue
                  Systems},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {194--209},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_57},
  doi          = {10.1007/3-540-59200-8\_57},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Senizergues95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Steinbach95,
  author       = {Joachim Steinbach},
  editor       = {Jieh Hsiang},
  title        = {Automatic Termination Proofs With Transformation Orderings},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {11--25},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_44},
  doi          = {10.1007/3-540-59200-8\_44},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Steinbach95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Stickel95,
  author       = {Mark E. Stickel},
  editor       = {Jieh Hsiang},
  title        = {Term Rewriting in Contemporary Resolution Theorem Proving (Abstract)},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {101},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_50},
  doi          = {10.1007/3-540-59200-8\_50},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Stickel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/StickelZ95,
  author       = {Mark E. Stickel and
                  Hantao Zhang},
  editor       = {Jieh Hsiang},
  title        = {Studying Quasigroup Identities by Rewriting Techniques: Problems and
                  First Results},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {450--456},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_81},
  doi          = {10.1007/3-540-59200-8\_81},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/StickelZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SuzukiMI95,
  author       = {Taro Suzuki and
                  Aart Middeldorp and
                  Tetsuo Ida},
  editor       = {Jieh Hsiang},
  title        = {Level-Confluence of Conditional Rewrite Systems with Extra Variables
                  in Right-Hand Sides},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_56},
  doi          = {10.1007/3-540-59200-8\_56},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SuzukiMI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/WaltersZ95,
  author       = {H. R. Walters and
                  Hans Zantema},
  editor       = {Jieh Hsiang},
  title        = {Rewrite Systems for Integer Arithmetic},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {324--338},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_67},
  doi          = {10.1007/3-540-59200-8\_67},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/WaltersZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ZantemaG95,
  author       = {Hans Zantema and
                  Alfons Geser},
  editor       = {Jieh Hsiang},
  title        = {A Complete Characterization of Termination of O\({}^{\mbox{p}}\) 1\({}^{\mbox{q}}\)
                  -{\textgreater} 1\({}^{\mbox{r}}\) O\({}^{\mbox{s}}\)},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_46},
  doi          = {10.1007/3-540-59200-8\_46},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ZantemaG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/1995,
  editor       = {Jieh Hsiang},
  title        = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8},
  doi          = {10.1007/3-540-59200-8},
  isbn         = {3-540-59200-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/1995.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.