Sciweavers

Share
LOGCOM
2008

Computable Models

9 years 7 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)
books