6978 search results - page 166 / 1396 » On Proofs in System P |
188
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
143
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
173
click to vote
JOC
2007
15 years 6 months ago
2007
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...
155
click to vote
SYNASC
2005
IEEE
16 years 2 days ago
2005
IEEE
— A simulator for conformon-P systems is presented together with an initial study of an evolution program optimising processes described by conformon-P systems.
147
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...