Skip to content

Completeness for Flat Modal Fixpoint Logics.

Luigi Santocanale, Yde Venema

VenueBLPAR
Year2007
ProceedingsLPAR

Browse the full LPAR paper archive.