Theory-Contraction Is NP-Complete
Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/11.6.675
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 1, 2003
Authors
Publisher
Oxford University Press (OUP)
Available in full text
November 1, 2003
Oxford University Press (OUP)