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

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

Cites work

• 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?)
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Inductive methods for proving properties of programs

Cited in

(2)

• Transformations predefining a program
• A stable programming language

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)