#### DMCA

## The computational complexity of provability in systems of modal propositional logic (1977)

by
Richard E. Ladner

Venue: | SIAM Journal of Computing |

Citations: | 235 - 0 self |