REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES

DOI10.1108/EB005495MaRDI QIDQ4171547zbMATH OpenOpenAlexFDO

Authors

Publication date 1978

Published in Kybernetes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1108/eb005495

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cites work

• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3482292 (Why is no real title available?)
• SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

This page was built for publication: REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES

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