Search Sciweavers | Sciweavers

3044 search results - page 65 / 609

» Linear logical approximations

click to vote

CSL
2008
Springer

96views Automated Reasoning» more CSL 2008»

Quantitative Game Semantics for Linear Logic

13 years 10 months ago

Download perso.ens-lyon.fr

We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...

Ugo Dal Lago, Olivier Laurent

claim paper

Read More »

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

13 years 10 months ago

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

click to vote

ACL
1998

91views Computational Linguistics» more ACL 1998»

Efficient Linear Logic Meaning Assembly

13 years 10 months ago

Download acl.ldc.upenn.edu

Vineet Gupta, John Lamping

claim paper

Read More »

click to vote

CACM
2010

62views more CACM 2010»

Linear logic

13 years 9 months ago

Download www.cs.cmu.edu

Alex Wright

claim paper

Read More »

click to vote

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers