6978 search results - page 282 / 1396 » On Proofs in System P |
152
click to vote
COCOON
2007
Springer
16 years 27 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
193
click to vote
RTA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
149
click to vote
HT
1999
ACM
15 years 11 months ago
1999
ACM
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help th...
184
click to vote
JSA
2008
15 years 6 months ago
2008
Video-on-demand (VoD) is increasingly popular with internet users. However, VoD is costly due to the load placed on video servers. Peer-to-peer (P2P) techniques are an approach to...
158
click to vote
PC
2007
15 years 6 months ago
2007
The convergence of the Grid and Peer-to-Peer (P2P) worlds has led to many solutions that try to efficiently solve the problem of resource discovery on Grids. Some of these solutio...