Sciweavers

LPAR
2007
Springer

Completeness for Flat Modal Fixpoint Logics

13 years 9 months ago
Completeness for Flat Modal Fixpoint Logics
Luigi Santocanale, Yde Venema
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LPAR
Authors Luigi Santocanale, Yde Venema
Comments (0)