scientific article; zbMATH DE number 3878354

zbMATH Open0551.68036MaRDI QIDQ3343435FDOQ3343435

Authors: Marisa Navarro, Fernando Orejas 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
• Title not available (Why is that?)

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)