BibSonomy :: bibtex  ::

publications

(2)

• The Computational Complexity of Provability in Systems of Modal Propositional Logic
  Richard E. Ladner SIAM Journal on Computing 6 467-480 (1977)
  to complexity computational logic; modal by ramaz on 2007-11-23 14:13:20
  | URL | BibTeX  
• The Computational Complexity of Provability in Systems of Modal Propositional Logic.
  Richard E. Ladner SIAM J. Comput. 6 467-480 (1977)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX