Reductivity

DOI10.1016/0167-6423(95)00027-5MaRDI QIDQ1916366zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Henk Doornbos, Roland C. Backhouse

Publication date 11 September 1996

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(95)00027-5

zbMATH Keywords

initialityinductivityreductivity of a relation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Publication:4934278
• On reduction properties
• Intrinsic Reducibilities
• scientific article; zbMATH DE number 4022646
• Self-reducibility
• Reducibility number
• Reducing the complexity of reductions
• scientific article; zbMATH DE number 1559593
• Decomposition of reduction
• Simplifying reductions

Cited in

(13)

• Reduction Under Substitution
• Intrinsic Reducibilities
• Analog reducibility
• Reductive modes
• Algebra of programming in Agda: Dependent types for relational program derivation
• A calculational approach to mathematical induction
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Datatype-generic termination proofs
• Nondeterministic semantics of compound diagrams
• Guyan reduction
• On reduction properties
• Value-free reductions
• Assertions and recursions

This page was built for publication: Reductivity

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