The logical meaning of programs of a subrecursive language

DOI10.1016/0020-0190(76)90025-9zbMATH Open0317.68012OpenAlexW2074884734MaRDI QIDQ1222017FDOQ1222017

Authors: Wolfgang Coy 

Publication date: 1976

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(76)90025-9

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Applications of computability and recursion theory (03D80)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Subrecursive Programming Languages, Part I
• Title not available (Why is that?)

This page was built for publication: The logical meaning of programs of a subrecursive language

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