@InProceedings{Buchberger-RTA85, author={Buchberger, B.}, title={{Basic Features and Development of the Critical-Pair/Completion Procedure}}, pages={1--45}, crossref={RTA85} } @InProceedings{ZhangR-RTA85, author={Zhang, H. and R\'emy, J.-L.}, title={{Contextual Rewriting}}, pages={46--62}, crossref={RTA85} } @InProceedings{Book-RTA85, author={Book, R. V.}, title={{Thue Systems as Rewriting Systems}}, pages={63--94}, crossref={RTA85} } @InProceedings{Otto-RTA85, author={Otto, F.}, title={{Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems}}, pages={95--106}, crossref={RTA85} } @InProceedings{CosmadakisK-RTA85, author={Cosmadakis, S. S. and Kanellakis, P. C.}, title={{Two Applications of Equational Theories to Database Theory}}, pages={107--123}, crossref={RTA85} } @InProceedings{JonesSS-RTA85, author={Jones, N. D. and Sestoft, P. and Sondergaard, H.}, title={{An Experiment in Partial Evaluation: The Generation of a Compiler Generator}}, pages={124--140}, crossref={RTA85} } @InProceedings{RetyKKP-RTA85, author={R\'ety, P. and Kirchner, C. and Kirchner, H. and Lescanne, P.}, title={{NARROWER: A New Algorithm for Unification and Its Application to Logic Programming}}, pages={141--157}, crossref={RTA85} } @InProceedings{Ait-Kaci-RTA85, author={A\"{\i}t-Kaci, H.}, title={{Solving Type Equations by Graph Rewriting}}, pages={158--179}, crossref={RTA85} } @InProceedings{Dershowitz-RTA85, author={Dershowitz, N.}, title={{Termination}}, pages={180--224}, crossref={RTA85} } @InProceedings{Rusinowitch-RTA85, author={Rusinowitch, M.}, title={{Path of Subterms Ordering and Recursive Decomposition Ordering Revisited}}, pages={225--240}, crossref={RTA85} } @InProceedings{BachmairP-RTA85, author={Bachmair, L. and Plaisted, D. A.}, title={{Associative Path Orderings}}, pages={241--254}, crossref={RTA85} } @InProceedings{DetlefsF-RTA85, author={Detlefs, D. and Forgaard, R.}, title={{A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules}}, pages={255--270}, crossref={RTA85} } @InProceedings{ChoppyJ-RTA85, author={Choppy, C. and Johnen, C.}, title={{PETRIREVE: Proving Petri Net Properties with Rewriting Systems}}, pages={271--286}, crossref={RTA85} } @InProceedings{PoratF-RTA85, author={Porat, S. and Francez, N.}, title={{Fairness in Term Rewriting Systems}}, pages={287--300}, crossref={RTA85} } @InProceedings{Hsiang-RTA85, author={Hsiang, J.}, title={{Two Results in Term Rewriting Theorem Proving}}, pages={301--324}, crossref={RTA85} } @InProceedings{Fribourg-RTA85, author={Fribourg, L.}, title={{Handling Function Definitions through Innermost Superposition and Rewriting}}, pages={325--344}, crossref={RTA85} } @InProceedings{Kandri-RodyKN-RTA85, author={Kandri-Rody, A. and Kapur, D. and Narendran, P.}, title={{An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras}}, pages={345--364}, crossref={RTA85} } @InProceedings{Yelick-RTA85, author={Yelick, K. A.}, title={{Combining Unification Algorithms for Confined Regular Equational Theories}}, pages={365--380}, crossref={RTA85} } @InProceedings{Fortenbach-RTA85, author={Fortenbach, A.}, title={{An Algebraic Approch to Unification Under Assoiativity and Commutativity}}, pages={381--397}, crossref={RTA85} } @InProceedings{ArnborgT-RTA85, author={Arnborg, S. and Tid\'en, E.}, title={{Unification Problems with One-Sided Distributivity}}, pages={398--406}, crossref={RTA85} } @InProceedings{PurdomB-RTA85, author={Purdom Jr., P. W. and Brown, C. A.}, title={{Fast Many-to-One Matching Algorithms}}, pages={407--416}, crossref={RTA85} } @InProceedings{BenanavKN-RTA85, author={Benanav, D. and Kapur, D. and Narendran, P.}, title={{Complexity of Matching Problems}}, pages={417--429}, crossref={RTA85} } @InProceedings{Zaionc-RTA85, author={Zaionc, M.}, title={{The Set of Unifiers in Typed Lambda-Calculus as Regular Expression}}, pages={430--440}, crossref={RTA85} } % CROSSREFERENCES % These must remain at the end of this file. @Proceedings{RTA85, year={1985}, month=may # {~20--22,}, editor={Jouannaud, Jean-Pierre}, title={{Rewriting Techniques and Applications, 1st International Conference, RTA-85}}, booktitle={{Rewriting Techniques and Applications, 1st International Conference, RTA-85}}, address={Dijon, France}, series={LNCS 202}, publisher={Springer-Verlag} }