6978 search results - page 288 / 1396 » On Proofs in System P |
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
163
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We study the question of whether the class DisjNP of disjoint pairs (A, B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof system...
175
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
157
click to vote
ICDE
2006
IEEE
16 years 23 days ago
2006
IEEE
The resource lookup requirements in applications such as web caching, web content search, content distribution, resource sharing, network monitoring and management, and e-commerce...
153
click to vote
SLOGICA
2002
15 years 6 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...