Recognizing renamable generalized propositional Horn formulas is NP-complete

Recognizing renamable generalized propositional Horn formulas is NP-complete

datePublished

• 1992

identifier

• propertyID: FI-FENNI value: 282518
• propertyID: FI-MELINDA value: 003993408
• propertyID: skl value: fx282518

isbn

• 9514561740

isPartOf

• Fennica
• Suomi : vesistökartta 1:1000000 = Finland : hydrografisk karta 1:1000000

name

• Recognizing renamable generalized propositional Horn formulas is NP-complete

numberOfPages

• 11, [3] s.

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Helsinki organizer: Helsingin yliopisto

publisher

• Helsingin yliopisto