scientific article; zbMATH DE number 3878354

MaRDI QIDQ3343435zbMATH OpenFDO

Authors Marisa Navarro, Fernando Orejas

Publication date 1984

zbMATH Keywords

reductionsterm rewriting systemsabstract data typesconditional specificationshierarchical rewriting

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Varieties (08B99) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• A hierarchy of semantics for non-deterministic term rewriting systems
• scientific article; zbMATH DE number 4164136
• Confluence of terminating conditional rewrite systems revisited
• Complexity hierarchies and higher-order cons-free term rewriting
• Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
• Transformations of Conditional Rewrite Systems Revisited
• scientific article; zbMATH DE number 3949707
• Determinization of conditional term rewriting systems
• scientific article; zbMATH DE number 1696594
• Notes on structure-preserving transformations of conditional term rewrite systems

Cited in

(4)

• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• scientific article; zbMATH DE number 4164136 (Why is no real title available?)
• scientific article; zbMATH DE number 4090780 (Why is no real title available?)

This page was built for publication:

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