Sciweavers

79 search results - page 1 / 16

» birthday 2005

20

BIRTHDAY
2005
Springer

233views Applied Computing» more BIRTHDAY 2005»

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

13 years 10 months ago

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

10

BIRTHDAY
2005
Springer

92views Applied Computing» more BIRTHDAY 2005»

A Cook's Tour of the Finitary Non-Well-Founded Sets

13 years 10 months ago

A Cook's Tour of the Finitary Non-Well-Founded Sets

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

9

BIRTHDAY
2005
Springer

112views Applied Computing» more BIRTHDAY 2005»

Nonmonotonic Reasoning

13 years 10 months ago

Nonmonotonic Reasoning

Download www.informatik.uni-leipzig.de

Alexander Bochman

claim paper

Read More »

8

BIRTHDAY
2005
Springer

104views Applied Computing» more BIRTHDAY 2005»

Classical Natural Deduction

13 years 10 months ago

Classical Natural Deduction

Download web.unife.it

Marcello D'Agostino

claim paper

Read More »

8

BIRTHDAY
2005
Springer

77views Applied Computing» more BIRTHDAY 2005»

Caching over the Entire User-to-Data Path in the Internet

13 years 10 months ago

Caching over the Entire User-to-Data Path in the Internet

Download wwwlgis.informatik.uni-kl.de

Theo Härder

claim paper

Read More »

« Prev « First page 1 / 16 Last » Next »