Sciweavers

34 search results - page 1 / 7

» lics 2006

11

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

13 years 10 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

9

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

13 years 10 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

11

LICS
2006
IEEE

100views Automated Reasoning» more LICS 2006»

Faster Solutions of Rabin and Streett Games

13 years 10 months ago

Faster Solutions of Rabin and Streett Games

Download www.doc.ic.ac.uk

Nir Piterman, Amir Pnueli

claim paper

Read More »

12

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

13 years 10 months ago

3-Valued Abstraction: More Precision at Less Cost

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

10

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

13 years 10 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 »