Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
Έκδοση: | 1st ed. 1998. |
Σειρά: | Lecture Notes in Computer Science,
1379 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Origin tracking in term rewriting
- Simultaneous critical pairs and Church-Rosser property
- Church-Rosser theorems for abstract reduction modulo an equivalence relation
- Automatic monoids versus monoids with finite convergent presentations
- Decidable and undecidable second-order unification problems
- On the exponent of periodicity of minimal solutions of context equations
- Unification in extensions of shallow equational theories
- Unification and matching in process algebras
- E-unification for subsystems of S4
- Solving disequations modulo some class of rewrite systems
- About proofs by consistency
- Normalization of S-terms is decidable
- Decidable approximations of sets of descendants and sets of normal forms
- Algorithms and reductions for rewriting problems
- The decidability of simultaneous rigid E-unification with one variable
- Ordering constraints over feature trees expressed in second-order monadic logic
- Co-definite set constraints
- Modularity of termination using dependency pairs
- Termination of associative-commutative rewriting by dependency pairs
- Termination transformation by tree lifting ordering
- Towards automated termination proofs through "freezing"
- Higher-order rewriting and partial evaluation
- SN combinators and partial combinatory algebras
- Coupling saturation-based provers by exchanging positive/negative information
- An on-line problem database.