2354 search results - page 17 / 471 » A Common-Sense Theory of Time |
JLP
2008
14 years 9 months ago
2008
A formulation of na
BIRTHDAY
2000
Springer
15 years 2 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
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...
64
Voted
MLQ
2002
14 years 9 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
COCO
2006
Springer
15 years 1 months ago
2006
Springer
We establish a close connection between (sub)exponential time complexity and parameterized complexity by proving that the so-called miniaturization mapping is a reduction preservi...