DMCA

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

Cached

Download Links

by Richard E. Ladner
Venue:SIAM Journal of Computing
Citations:235 - 0 self