scientific article; zbMATH DE number 3876576

MaRDI QIDQ3341883zbMATH OpenFDO

Authors Monique Rice

Publication date 1983

zbMATH Keywords

algorithmChurch-Rosser theoremComplete Minimal Set of Contextual Normal Formsconfluent rewriting system

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2201369
• Normal forms and normal theories in conditional rewriting
• scientific article; zbMATH DE number 3887605
• scientific article; zbMATH DE number 3162890
• Algorithms for constructing a set of all concepts of formal context and their Hasse diagrams
• Normal forms and syntactic completeness proofs for functional independencies
• An Algorithm for Construction of Normal Forms
• Shortest and minimal disjunctive normal forms of complete functions
• Normal forms in total correctness for while programs and action systems
• A constructive generalised Goursat normal form

Cited in

(2)

• Freedom in minimal normal forms
• Totally Balanced Formal Context Representation

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