306 search results - page 1 / 62 » Constructive algebraic integration theory |
APAL
2006
13 years 7 months ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
BICOB
2010
Springer
14 years 6 days ago
2010
Springer
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
DLT
1997
13 years 8 months ago
1997
ISCI
1998
13 years 7 months ago
1998