Sciweavers

884 search results - page 39 / 177

» The Linear Logic of Multisets

120

Voted

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

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

72

ACL
1998

91views Computational Linguistics» more ACL 1998»

Efficient Linear Logic Meaning Assembly

15 years 4 months ago

Efficient Linear Logic Meaning Assembly

Download acl.ldc.upenn.edu

Vineet Gupta, John Lamping

claim paper

Read More »

65

CACM
2010

62views more CACM 2010»

15 years 3 months ago

Download www.cs.cmu.edu

Alex Wright

claim paper

Read More »

63

Voted

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

15 years 3 months ago

Controlling program extraction in Elementary Linear Logic

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

111

Voted

ENTCS
2008

101views more ENTCS 2008»

Model Checking Quantitative Linear Time Logic

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