2138 search results - page 347 / 428 » Logical Step-Indexed Logical Relations |
136
click to vote
JSYML
2007
15 years 4 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
142
Voted
STOC
1999
ACM
15 years 8 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
167
click to vote
COMPUTER
2002
15 years 4 months ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...
151
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
137
click to vote
JCSS
2000
15 years 4 months ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...