Search Sciweavers | Sciweavers

842 search results - page 33 / 169

» Linear logic

click to vote

CSL
2008
Springer

96views Automated Reasoning» more CSL 2008»

Quantitative Game Semantics for Linear Logic

15 years 3 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 »

104

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

15 years 3 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

15 years 2 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers