306 search results - page 1 / 62 » Constructive algebraic integration theory |
88
Voted
APAL
2006
14 years 9 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
15 years 2 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. ...
64
Voted
MKM
2007
Springer
15 years 3 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
78
Voted
DLT
1997
14 years 10 months ago
1997
ISCI
1998
14 years 9 months ago
1998