Sciweavers

IWFM   2003
Wall of Fame | Most Viewed IWFM-2003 Paper
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 5 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source172
2Download preprint from source123
3Download preprint from source123
4Download preprint from source104
5Download preprint from source98