Sciweavers

66
Voted
FOCS
1990
IEEE

Decision Problems for Propositional Linear Logic

15 years 26 days ago
Decision Problems for Propositional Linear Logic
Patrick Lincoln, John C. Mitchell, Andre Scedrov,
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1990
Where FOCS
Authors Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
Comments (0)