Skip to content

The NP-Completeness of Reflected Fragments of Justification Logics.

Samuel R. Buss, Roman Kuznets

Year2009
ProceedingsLFCS

Browse the full LFCS paper archive.