1699 search results - page 27 / 340 » On the Expressive Power of QLTL |
128
Voted
APAL
2004
15 years 16 days ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...
129
Voted
LATA
2010
Springer
14 years 11 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
148
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper proposes an analytical study of the shadowing impact on the outage probability in cellular radio networks. We establish that the downlink other-cell interference factor,...
112
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
92
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On ...