Search Sciweavers | Sciweavers

3994 search results - page 47 / 799

» A Linear Logical Framework

125

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 10 months ago

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

122

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

15 years 10 months ago

Download www.csl.sri.com

Max I. Kanovich

claim paper

Read More »

123

click to vote

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

Decision Problems for Propositional Linear Logic

15 years 10 months ago

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...

claim paper

Read More »

109

click to vote

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

15 years 8 months ago

Download logica.uniroma3.it

Michele Pagani

claim paper

Read More »

152

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers