Search Sciweavers | Sciweavers

842 search results - page 32 / 169

» Linear logic

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 1 months ago

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

14 years 1 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

14 years 1 months ago

Download www.csl.sri.com

Max I. Kanovich

claim paper

Read More »

click to vote

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

Decision Problems for Propositional Linear Logic

14 years 1 months ago

Download www.csl.sri.com

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

claim paper

Read More »

click to vote

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

Acyclicity and Coherence in Multiplicative Exponential Linear Logic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers