Investigations into the complexity of some propositional calculi
Author(s)
Bibliographic Information
Investigations into the complexity of some propositional calculi
(Technical monograph, PRG-88)
Oxford University Computing Laboratory, Programming Research Group, 1990
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 123-131)