X-1991-14: The Horn Fragment of Linear Logic is NP-Complete

X-1991-14: Kanovich, Max I. (1991) The Horn Fragment of Linear Logic is NP-Complete. [Report]

Full text not available from this repository.
Item Type: Report
Report Nr: X-1991-14
Series Name: Technical Notes (X) Series
Year: 1991
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/607

Actions (login required)

View Item View Item