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

inductivityinitialityreductivity 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

(15)

• Datatype-generic termination proofs
• Reductive modes
• A calculational approach to mathematical induction
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Nondeterministic semantics of compound diagrams
• Value-free reductions
• Guyan reduction
• Reduction Under Substitution
• Algebra of programming in Agda: Dependent types for relational program derivation
• On reduction properties
• scientific article; zbMATH DE number 1086635 (Why is no real title available?)
• Intrinsic Reducibilities
• Assertions and recursions
• scientific article; zbMATH DE number 890353 (Why is no real title available?)
• Analog reducibility

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)