BibSonomy :: user :: ramaz ::

tag user group author concept BibTeX key search:all search:ramaz

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

bookmarks per page: 5 10 20 50 100

publications

(1)

BibTeX

RDF

other export options

<< < 1 > >>

The Computational Complexity of Provability in Systems of Modal Propositional Logic
Richard E. Ladner SIAM Journal on Computing6(3):467-480(1977)
to complexity computational modal logic; by ramaz and 1 other person on Nov 23, 2007, 2:13 PM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100