2354 search results - page 17 / 471 » A Common-Sense Theory of Time |
JLP
2008
13 years 8 months ago
2008
A formulation of na
BIRTHDAY
2000
Springer
14 years 8 days 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
13 years 8 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...
MLQ
2002
13 years 7 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
13 years 11 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...