Skip to content

NEXP-Completeness and Universal Hardness Results for Justification Logic.

Antonis Achilleos

Year2015
ProceedingsCSR

Browse the full CSR paper archive.