Sciweavers

12753 search results - page 53 / 2551

» is 2002

23

CADE
2002
Springer

141views Logical Reasoning» more CADE 2002»

HyLoRes 1.0: Direct Resolution for Hybrid Logics

14 years 9 months ago

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Download hylo.loria.fr

Carlos Areces, Juan Heguiabehere

claim paper

Read More »

28

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 9 months ago

Temporal Logic for Proof-Carrying Code

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper

Read More »

22

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 9 months ago

System Description: GrAnDe 1.0

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

21

STOC
2002
ACM

92views Algorithms» more STOC 2002»

Tradeoffs in probabilistic packet marking for IP traceback

14 years 9 months ago

Tradeoffs in probabilistic packet marking for IP traceback

Download www-net.cs.umass.edu

Micah Adler

claim paper

Read More »

22

STOC
2002
ACM

79views Algorithms» more STOC 2002»

Computing the betti numbers of arrangements

14 years 9 months ago

Computing the betti numbers of arrangements

Download www.math.purdue.edu

Saugata Basu

claim paper

Read More »

« Prev « First page 53 / 2551 Last » Next »