DMCA
Closing a Gap in the Complexity of Refinement Modal Logic
by
Antonis Achilleos
,
Michael Lampis
BibTeX
@MISC{Achilleos_closinga,
author = {Antonis Achilleos and Michael Lampis},
title = {Closing a Gap in the Complexity of Refinement Modal Logic},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ar
