Type of document: Other
Language: English
Author(s): Aanderaa, Stål Olav
Title: On the Decision Problem for Formulas in which All Disjunctions Are Binary
Year: 1973
Source: Proceedings of the Second Scandinavian Logic Symposium
Pages: 1-18
Publisher: J.E. Fenstad North-Holland Publishing Company
Place of publication: Amsterdam
Catalog