Sciweavers

29 search results - page 1 / 6

» lics 2002

101

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 7 months ago

Calibrating Computational Feasibility by Abstraction Rank

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

82

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

15 years 7 months ago

Domain Theory and Differential Calculus (Functions of one Variable)

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

claim paper

Read More »

89

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Games on Graphs and Sequentially Realizable Functionals

15 years 7 months ago

Games on Graphs and Sequentially Realizable Functionals

Download www.cs.man.ac.uk

Martin Hyland, Andrea Schalk

claim paper

Read More »

93

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 7 months ago

A Fully Abstract May Testing Semantics for Concurrent Objects

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

108

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 7 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

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