Relationships between classes of monotonic functions

DOI10.1016/0304-3975(76)90034-7zbMATH Open0352.68052OpenAlexW2040073752MaRDI QIDQ1235976FDOQ1235976

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

• Title not available (Why is that?)
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)