Sciweavers

884 search results - page 39 / 177

» The Linear Logic of Multisets

22

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

13 years 10 months ago

Functionally linear decomposition and synthesis of logic circuits for FPGAs

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

12

ACL
1998

91views Computational Linguistics» more ACL 1998»

Efficient Linear Logic Meaning Assembly

13 years 10 months ago

Efficient Linear Logic Meaning Assembly

Download acl.ldc.upenn.edu

Vineet Gupta, John Lamping

claim paper

Read More »

10

CACM
2010

62views more CACM 2010»

13 years 9 months ago

Download www.cs.cmu.edu

Alex Wright

claim paper

Read More »

10

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

13 years 9 months ago

Controlling program extraction in Elementary Linear Logic

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

26

ENTCS
2008

101views more ENTCS 2008»

Model Checking Quantitative Linear Time Logic

13 years 9 months ago

Model Checking Quantitative Linear Time Logic

Download people.na.infn.it

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

Marco Faella, Axel Legay, Mariëlle Stoelinga

claim paper

Read More »

« Prev « First page 39 / 177 Last » Next »