306 search results - page 1 / 62 » Constructive algebraic integration theory |
APAL
2006
13 years 4 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
13 years 9 months 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
13 years 11 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 6 months ago
1997
ISCI
1998
13 years 4 months ago
1998