Skip to content

On Boolean closed full trios and rational Kripke frames.

Markus Lohrey, Georg Zetzsche

VenueASTACS
Year2014
ProceedingsSTACS

Browse the full STACS paper archive.