The NP-Completeness of Reflected Fragments of Justification Logics
Options
BORIS DOI
Publisher DOI
Date of Publication
2009
Publication Type
Book Section
Language(s)
en
Contributor(s)
Editor(s)
Artemov, Sergei | |
Nerode, Anil |
Additional Credits
Publisher
Springer Verlag
Access(Rights)
restricted