Conditional and Typed Rewriting Systems

Inhaltsverzeichnis

Associative-commutative superposition.- A calculus for rippling.- Equation solving in geometrical theories.- LSE narrowing for decreasing conditional term rewrite systems.- Preserving confluence for rewrite systems with built-in operations.- Hierarchical termination.- Well-foundedness of term orderings.- A new characterisation of AC-termination and application.- Relative normalization in orthogonal expression reduction systems.- On termination and confluence of conditional rewrite systems.- How to transform canonical decreasing CTRSs into equivalent canonical TRSs.- Termination for restricted derivations and conditional rewrite systems.- Rewriting for preorder relations.- Strong sequentiality of left-linear overlapping rewrite systems.- A conflict between call-by-need computation and parallelism.- The complexity of testing ground reducibility for linear word rewriting systems with variables.- Coherence for cartesian closed categories: A sequential approach.- Modular properties of constructor-sharing conditional term rewriting systems.- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems.- The transformation of term rewriting systems based on well-formedness preserving mappings.- Abstract notions and inference systems for proofs by mathematical induction.