Constant-Only Multiplicative Linear Logic is NP-Complete (1992)

Cached

Download Links

by Patrick Lincoln , Timothy Winkler
Venue:Theoretical Computer Science
Citations:30 - 8 self