Sciweavers

34 search results - page 1 / 7

» lics 2006

20

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

14 years 1 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

19

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 »

21

LICS
2006
IEEE

100views Automated Reasoning» more LICS 2006»

Faster Solutions of Rabin and Streett Games

14 years 1 months ago

Faster Solutions of Rabin and Streett Games

Download www.doc.ic.ac.uk

Nir Piterman, Amir Pnueli

claim paper

Read More »

24

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 »

20

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

14 years 1 months ago

Approximate Satisfiability and Equivalence

Download www.cs.technion.ac.il

Eldar Fischer, Frédéric Magniez, Mic...

claim paper

Read More »

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