Sciweavers

887 search results - page 8 / 178

» A Science of Reasoning

25

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

14 years 1 months ago

3-Valued Abstraction: More Precision at Less Cost

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

17

LICS
2005
IEEE

84views Automated Reasoning» more LICS 2005»

Constructing Free Boolean Categories

14 years 1 months ago

Constructing Free Boolean Categories

Download www.lix.polytechnique.fr

François Lamarche, Lutz Straßburger

claim paper

Read More »

17

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Abstract Saturation-Based Inference

14 years 26 days ago

Abstract Saturation-Based Inference

Download www.cs.tau.ac.il

Nachum Dershowitz, Claude Kirchner

claim paper

Read More »

19

LICS
2003
IEEE

84views Automated Reasoning» more LICS 2003»

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

14 years 26 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 »

25

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

14 years 1 months ago

Recursive Polymorphic Types and Parametricity in an Operational Framework

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

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