6. RTA 1995:
Kaiserslautern,
Germany
Jieh Hsiang (Ed.):
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings.
Lecture Notes in Computer Science 914 Springer 1995, ISBN 3-540-59200-8 BibTeX
@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},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {914},
year = {1995},
isbn = {3-540-59200-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Regular Papers
- Yuri Matiyasevich:
On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract).
1 BibTeX
- Massimo Marchiori:
Modularity of Completeness Revisited.
2-10 BibTeX
- Joachim Steinbach:
Automatic Termination Proofs With Transformation Orderings.
11-25 BibTeX
- Olav Lysne, Javier Piris:
A Termination Ordering for Higher Order Rewrite System.
26-40 BibTeX
- Hans Zantema, Alfons Geser:
A Complete Characterization of Termination of Op 1q -> 1r Os.
41-55 BibTeX
- Robert Nieuwenhuis:
On Narrowing, Refutation Proofs and Constraints.
56-70 BibTeX
- Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi:
Completion for Multiple Reduction Orderings.
71-85 BibTeX
- Klaus Schmid, Roland Fettig:
Towards an Efficient Construction of Test Sets for Deciding Ground Reducability.
86-100 BibTeX
- Mark E. Stickel:
Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).
101 BibTeX
- Andrea Asperti:
deltao!Epsilon = 1 - Optimizing Optimal lambda-Calculus Implementations.
102-116 BibTeX
- Peter Graf:
Substitution Tree Indexing.
117-131 BibTeX
- Ilies Alouini:
Concurrent Garbage Collection for Concurrent Rewriting.
132-146 BibTeX
- J. F. Th. Kamperman, H. R. Walters:
Lazy Rewriting and Eager Machinery.
147-162 BibTeX
- Siva Anantharaman, Gilles Richard:
A Rewrite Mechanism for Logic Programs with Negation.
163-178 BibTeX
- Taro Suzuki, Aart Middeldorp, Tetsuo Ida:
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides.
179-193 BibTeX
- Géraud Sénizergues:
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems.
194-209 BibTeX
- Wolfgang Gehrke:
Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.
210-224 BibTeX
- Andrea Corradini, Fabio Gadducci, Ugo Montanari:
Relating Two Categorial Models of Term Rewriting.
225-240 BibTeX
- Stefan Kahrs:
Towards a Domain Theory for Termination Proofs.
241-255 BibTeX
- Tobias Nipkow:
Higher-Order Rewrite Systems (Abstract).
256 BibTeX
- Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models.
257-270 BibTeX
- Jan Kuper:
Proving the Genericity Lemma by Leftmost Reduction is Simple.
271-278 BibTeX
- Steffen van Bakel, Maribel Fernández:
(Head-) Normalization of Typeable Rewrite Systems.
279-293 BibTeX
- Pierre Lescanne, Jocelyne Rouyer-Degli:
Explicit Substitutions with de Bruijn's Levels.
294-308 BibTeX
- Richard J. Boulton:
A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics.
309-323 BibTeX
- H. R. Walters, Hans Zantema:
Rewrite Systems for Integer Arithmetic.
324-338 BibTeX
- Habib Abdulrab, Marianne Maksimenko:
General Solution of Systems of Linear Diophantine Equations and Inequations.
339-351 BibTeX
- Franz Baader, Klaus U. Schulz:
Combination of Constraint Solving Techniques: An Algebraic POint of View.
352-366 BibTeX
- Friedrich Otto, Paliath Narendran, Daniel J. Dougherty:
Some Independent Results for Equational Unification.
367-381 BibTeX
- Jochen Burghardt:
Regular Substitution Sets: A Means of Controlling E-Unification.
382-396 BibTeX
System Description
Problem Sets
Copyright © Sat May 16 23:36:09 2009
by Michael Ley (ley@uni-trier.de)
