You have Guest access.
Log In
Tobias Nipkow
Front matter
1
Origin tracking in term rewriting
2-16
Simultaneous critical pairs and Church-Rosser property
17-31
Church-Rosser theorems for abstract reduction modulo an equivalence relation
32-46
Automatic monoids versus monoids with finite convergent presentations
47-60
Decidable and undecidable second-order unification problems
61-75
On the exponent of periodicity of minimal solutions of context equations
76-90
Unification in extensions of shallow equational theories
91-105
Unification and matching in process algebras
106-120
E -unification for subsystems of S4
121-135
Solving disequations modulo some class of rewrite systems
136-137
About proofs by consistency Abstract
138-150
Normalization of S-terms is decidable
151-165
Decidable approximations of sets of descendants and sets of normal forms
166-180
Algorithms and reductions for rewriting problems
181-195
The decidability of simultaneous rigid E -unification with one variable
196-210
Ordering constraints over feature trees expressed in second-order monadic logic
211-225
Co-definite set constraints
226-240
Modularity of termination using dependency pairs
241-255
Termination of associative-commutative rewriting by dependency pairs
256-270
Termination transformation by tree lifting ordering
271-285
Towards automated termination proofs through “freezing”
286-301
Higher-order rewriting and partial evaluation
302-316
SN combinators and partial combinatory algebras
317-331
Coupling saturation-based provers by exchanging positive/negative information
332-342
An on-line problem database
J. W. Klop
Satoshi Okui
Enno Ohlebusch
Friedrich Otto, Andrea Sattler-Klein and Klaus Madlener
Jordi Levy
Manfred Schmidt-Schauß and Klaus U. Schulz
Florent Jacquemard, Christoph Meyer and Christoph Weidenbach
Qing Guo, Paliath Narendran and Sandeep K. Shukla
Renate A. Schmidt
Sébastien Limet and Pierre Réty
Hubert Comon
Johannes Waldmann
Thomas Genet
Rakesh M. Verma, Michael Rusinowitch and Denis Lugiez
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes and Andrei Voronkov
Martin Müller and Joachim Niehren
Witold Charatonik and Andreas Podelski
Thomas Arts and Jürgen Giesl
Claude Marché and Xavier Urbain
Takahito Aoto and Yoshihito Toyama
Hongwei Xi
Olivier Danvy and Kristoffer HØgsbro Rose
Yohji Akama
Dirk Fuchs
Nachum Dershowitz and Ralf Treinen
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info