Relationships between classes of monotonic functions

DOI10.1016/0304-3975(76)90034-7zbMath0352.68052OpenAlexW2040073752MaRDI QIDQ1235976

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

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

Related Items (2)

A stable programming language ⋮ Transformations predefining a program

Cites Work

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Inductive methods for proving properties of programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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