1350 search results - page 148 / 270 » Reasoning about Staged Computation |
127
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
139
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
163
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
134
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
When comparing discrete probability distributions, natural measures of similarity are not p distances but rather are informationdivergences such as Kullback-Leibler and Hellinger. ...
152
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...