Sciweavers

12753 search results - page 133 / 2551

» or 2002

20

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

14 years 2 months ago

Domain Theory and Differential Calculus (Functions of one Variable)

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

claim paper

Read More »

21

LICS
2002
IEEE

88views Automated Reasoning» more LICS 2002»

Semantic Subtyping

14 years 2 months ago

Semantic Subtyping

Download www.cduce.org

Alain Frisch, Giuseppe Castagna, Véronique ...

claim paper

Read More »

24

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

14 years 2 months ago

Separability, Expressiveness, and Decidability in the Ambient Logic

Download www-lipn.univ-paris13.fr

Daniel Hirschkoff, Étienne Lozes, Davide Sa...

claim paper

Read More »

24

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Games on Graphs and Sequentially Realizable Functionals

14 years 2 months ago

Games on Graphs and Sequentially Realizable Functionals

Download www.cs.man.ac.uk

Martin Hyland, Andrea Schalk

claim paper

Read More »

24

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

14 years 2 months ago

A Fully Abstract May Testing Semantics for Concurrent Objects

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

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