Sciweavers

32 search results - page 1 / 7

» lics 2003

6

LICS
2003
IEEE

106views Automated Reasoning» more LICS 2003»

Successor-Invariance in the Finite

13 years 9 months ago

Successor-Invariance in the Finite

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

5

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

13 years 9 months ago

Types and Programming Languages: The Next Generation

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

8

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Abstract Saturation-Based Inference

13 years 9 months ago

Abstract Saturation-Based Inference

Download www.cs.tau.ac.il

Nachum Dershowitz, Claude Kirchner

claim paper

Read More »

10

LICS
2003
IEEE

84views Automated Reasoning» more LICS 2003»

Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions

13 years 9 months ago

Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions

Download www-mgi.informatik.rwth-aachen.de

Erich Grädel, Stephan Kreutzer

claim paper

Read More »

8

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

13 years 9 months ago

Model Checking Guarded Protocols

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

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