Relationships between classes of monotonic functions

DOI10.1016/0304-3975(76)90034-7MaRDI QIDQ1235976zbMATH OpenOpenAlexFDO

Authors Mark B. Trakhtenbrot

Publication date 1976

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(76)90034-7

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25)

Cites work

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• scientific article; zbMATH DE number 3653565 (Why is no real title available?)
• scientific article; zbMATH DE number 3518773 (Why is no real title available?)
• scientific article; zbMATH DE number 3622921 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Inductive methods for proving properties of programs

Cited in

(2)

• A stable programming language
• Transformations predefining a program

This page was built for publication: Relationships between classes of monotonic functions

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