678 search results - page 4 / 136 » The Theory of Weak Stabilization |
APAL
2005
13 years 7 months ago
2005
The class of geometric surgical theories (which includes all o-minimal theories) is examined. The main theorem is that every stable theory that is interpretable in a geometric sur...
ICFP
1996
ACM
13 years 11 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
AML
2005
13 years 7 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
DAM
2008
13 years 7 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
MLQ
2008
13 years 7 months ago
2008
