Search Sciweavers | Sciweavers

6978 search results - page 16 / 1396

» On Proofs in System P

click to vote

SRDS
2010
IEEE

129views Operating System» more SRDS 2010»

Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay

13 years 5 months ago

Download www.gsd.inesc-id.pt

Mario Ferreira, João Leitão, Lu&iacu...

claim paper

Read More »

click to vote

CALCO
2005
Springer

85views Mathematics» more CALCO 2005»

Using Proofs by Coinduction to Find "Traditional" Proofs

14 years 1 months ago

Download www.phil.uu.nl

In the speciﬁc situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...

Clemens Grabmayer

claim paper

Read More »

click to vote

P2P
2005
IEEE

86views Communications» more P2P 2005»

Supporting Information Retrieval in Peer-to-Peer Systems

14 years 1 months ago

Download www.peer-to-peer.info

Wolf-Tilo Balke

claim paper

Read More »

click to vote

P2P
2005
IEEE

79views Communications» more P2P 2005»

Self-Organization in Peer-to-Peer Systems

14 years 1 months ago

Download www.eecs.harvard.edu

Hermann de Meer, Christian Koppen

claim paper

Read More »

click to vote

P2PKM
2004

171views Knowledge Management» more P2PKM 2004»

Weakly-coupled ontology integration of P2P database systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers