Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rta/rta95.bht:"
@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} }
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.