Modular properties of conditional term rewriting systems

DOI10.1006/INCO.1993.1027zbMATH Open0804.68071OpenAlexW2061404638MaRDI QIDQ689098FDOQ689098

Authors: Aart Middeldorp 

Publication date: 6 September 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/5607

Recommendations

• Modular properties of composable term rewriting systems
• scientific article; zbMATH DE number 1761895
• Sufficient conditions for modular termination of conditional term rewriting systems
• Modularity in term rewriting revisited
• Modular aspects of properties of term rewriting systems related to normal forms
• Modular term rewriting systems and the termination
• On the modularity of termination of term rewriting systems
• On modularity in term rewriting and narrowing
• Determinization of conditional term rewriting systems
• Generalized sufficient conditions for modular termination of rewriting

zbMATH Keywords

modularityconfluencenormalizationconditional term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (38)

• The theory of vaccines
• Decidable call-by-need computations in term rewriting
• Modularity in term rewriting revisited
• Total termination of term rewriting
• Generalized sufficient conditions for modular termination of rewriting
• Some results on the confluence property of combined term rewriting systems
• On the modularity of termination of term rewriting systems
• Conditional linearization
• Uncurrying for termination and complexity
• Local confluence of conditional and generalized term rewriting systems
• Modular proofs for completeness of hierarchical term rewriting systems
• Modular aspects of term graph rewriting
• Bubbles in modularity
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• Combinatory reduction systems: Introduction and survey
• Completeness results for basic narrowing
• Decidability of reachability for disjoint union of term rewriting systems
• More problems in rewriting
• Confluence of terminating membership conditional TRS
• Sufficient conditions for modular termination of conditional term rewriting systems
• Proving confluence in the confluence framework with confident
• Sequentiality in orthogonal term rewriting systems
• Title not available (Why is that?)
• Combinations of simplifying conditional term rewriting systems
• On modularity in infinitary term rewriting
• Church-Rosser property for conditional rewriting systems with built-in predicates as premises
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• Title not available (Why is that?)
• Extension orderings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular aspects of properties of term rewriting systems related to normal forms
• Modular Church-Rosser Modulo
• On modularity in term rewriting and narrowing
• Modular properties of algebraic type systems
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modularity in noncopying term rewriting
• Termination is not modular for confluent variable-preserving term rewriting systems

This page was built for publication: Modular properties of conditional term rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689098)