Deciding Provability of Linear Logic Formulas (1994)

Cached

Download Links

by Patrick Lincoln
Venue:Advances in Linear Logic
Citations:21 - 0 self