Sciweavers

LOGCOM
2008

Computable Models

13 years 10 months ago
Computable Models
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a computational model. We explore the notion and provide several case studies.
Raymond Turner
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where LOGCOM
Authors Raymond Turner
Comments (0)