scientific article; zbMATH DE number 4047068

MaRDI QIDQ3783524zbMATH OpenFDO

Authors Sara Porat, Nissim Francez

Publication date 1986

zbMATH Keywords

combined term-rewriting systemsequational term-rewriting systemsfair derivationsfair termination

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3921985
• Termination of Fair Computations in Term Rewriting
• Termination of just/fair computations in term rewriting
• scientific article; zbMATH DE number 3938563
• scientific article; zbMATH DE number 3870640

Cited in

(7)

• Termination of rewriting
• Fairness in context-free grammars under every choice-strategy
• Modularity of simple termination of term rewriting systems with shared constructors
• Conditional narrowing modulo a set of equations
• Twenty years of rewriting logic
• Termination of Fair Computations in Term Rewriting
• Termination of just/fair computations in term rewriting

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 Q3783524)