Concepedia

Publication | Closed Access

Decision problems for propositional linear logic

DOI

221

Citations

32

References

1992

Year

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
Annals of Pure and Applied Logic

References

YearCitations

Page 1