Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings > Collapsed tree rewriting: Completeness, confluence, and modularity
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings |
Michaël Rusinowitch; Jean-Luc Rémy
Springer Berlin Heidelberg
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Collapsed tree rewriting: Completeness, confluence, and modularity
Authors

Detlef Plump

ARI Id

1674219894235_3565457

Access

Not Available Free

Pages

97-112

DOI

10.1007/3-540-56393-8_7

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-56393-8_7

Table of Contents of Book
Showing 1 to 20 of 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Algebraic semantics of rewriting terms and types
Karl Meinke
1-20
Context rewriting
Stefan Kahrs
21-35
Explicit cyclic substitutions
Kristoffer Høgsbro Rose
36-50
Simple type inference for term graph rewriting systems
R. Banach
51-66
Consistency and semantics of equational definitions over predefined algebras
Valentin Antimirov; Anatoli Degtyarev
67-81
Completeness of combinations of conditional constructor systems
Aart Middeldorp
82-96
Collapsed tree rewriting: Completeness, confluence, and modularity
Detlef Plump
97-112
Combinations of simplifying conditional term rewriting systems
Enno Ohlebusch
113-127
Sufficient conditions for modular termination of conditional term rewriting systems
Bernhard Gramlich
128-142
Termination of combined (rewrite and λ-calculus) systems
Carlos Loria-Saenz; Joachim Steinbach
143-147
Type removal in term rewriting
H. Zantema
148-154
Termination of term rewriting by interpretation
H. Zantema
155-167
Path orderings for termination of associative-commutative rewriting
Nachum Dershowitz; Subrata Mitra
168-174
Generic induction proofs
Peter Padawitz
175-197
A constructor-based approach for positive/negative-conditional equational specifications
Claus-Peter Wirth; Bernhard Gramlich
198-212
Semantics for positive/negative conditional rewrite systems
Klaus Becker
213-225
Inductive theorem proving by consistency for first-order clauses
Harald Ganzinger; Jürgen Stuber
226-241
Reduction techniques for first-order reasoning
Francois Bronsard; Uday S. Reddy
242-256
Conditional term rewriting and first-order theorem proving
David A. Plaisted; Geoffrey D. Alexander; Heng Chu; Shie-Jue Lee
257-271
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings