658 search results - page 34 / 132 » A Logic for Graphs with QoS |
151
click to vote
CSL
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
160
click to vote
CONCUR
2007
Springer
16 years 7 days 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...
182
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...