Search Sciweavers | Sciweavers

34 search results - page 1 / 7

» lics 2006

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

15 years 3 months ago

Download www.easychair.org

Andreas Blass

claim paper

Read More »

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

15 years 3 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

click to vote

LICS
2006
IEEE

100views Automated Reasoning» more LICS 2006»

Faster Solutions of Rabin and Streett Games

15 years 3 months ago

Download www.doc.ic.ac.uk

Nir Piterman, Amir Pnueli

claim paper

Read More »

Voted

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

15 years 3 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers