Computable Models

DOI10.1093/LOGCOM/EXM002MaRDI QIDQ5385205zbMATH OpenOpenAlexFDO

Authors Raymond Turner

Publication date 5 May 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exm002

zbMATH Keywords

computational modelsdata typesdecidabilityspecification

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Computable Models
• Concept Lattices
• Models of computation
• Set-theoretic models of computations
• scientific article; zbMATH DE number 1302870

Cited in

(14)

• A new spectrum of computable models
• Mathematical models as research data via flexiformal theory graphs
• Mathematical models: a research data category?
• scientific article; zbMATH DE number 5666853 (Why is no real title available?)
• Computable Models
• On the Computational Capabilities of Several Models
• The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• Type-theoretic logic with an operational account of intensionality
• scientific article; zbMATH DE number 6292628 (Why is no real title available?)
• Foundations of Software Science and Computational Structures
• Model-based computation
• Data types in subdefinite models
• Computability of homogeneous models

This page was built for publication: Computable Models

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