6978 search results - page 363 / 1396 » On Proofs in System P |
186
Voted
AML
2002
15 years 6 months ago
2002
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
181
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
174
click to vote
ISAAC
2004
Springer
16 years 6 days ago
2004
Springer
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
160
click to vote
AADEBUG
1993
Springer
15 years 11 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
194
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
Given a set P of points in the first quadrant, a Rectilinear Steiner Arborescence (RSA) is a directed tree rooted at the origin, containing all points in P, and composed solely of...