Sciweavers

32 search results - page 1 / 7

» lics 2003

10

LICS
2003
IEEE

106views Automated Reasoning» more LICS 2003»

Successor-Invariance in the Finite

14 years 2 days ago

Successor-Invariance in the Finite

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

10

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

14 years 2 days ago

Types and Programming Languages: The Next Generation

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

15

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Abstract Saturation-Based Inference

14 years 2 days ago

Abstract Saturation-Based Inference

Download www.cs.tau.ac.il

Nachum Dershowitz, Claude Kirchner

claim paper

Read More »

15

LICS
2003
IEEE

84views Automated Reasoning» more LICS 2003»

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

14 years 2 days 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 »

13

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

14 years 2 days 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 »