On the decision problem for formulas in which all disjunctions are binary
Research report
View/ Open
Year
1970Permanent link
http://urn.nb.no/Is part of
Preprint series: Pure mathematicsMetadata
Show metadataAppears in the following Collection
- Matematisk institutt [3764]