Sciweavers

887 search results - page 6 / 178

» A Science of Reasoning

16

LICS
2005
IEEE

92views Automated Reasoning» more LICS 2005»

Relational Parametricity and Control

14 years 1 months ago

Relational Parametricity and Control

Download www.kurims.kyoto-u.ac.jp

Masahito Hasegawa

claim paper

Read More »

13

LICS
2003
IEEE

106views Automated Reasoning» more LICS 2003»

Successor-Invariance in the Finite

14 years 26 days ago

Successor-Invariance in the Finite

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

18

LICS
2008
IEEE

107views Automated Reasoning» more LICS 2008»

The Axiomatic Derivation of Absolute Lower Bounds

14 years 2 months ago

The Axiomatic Derivation of Absolute Lower Bounds

Download www.math.ucla.edu

Yiannis N. Moschovakis

claim paper

Read More »

18

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

14 years 1 months ago

Reflections on Finite Model Theory

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

21

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 1 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

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