DMCA

Completions of µ-algebras (2005)

by Luigi Santocanale , Lif-cmi Marseille
Venue:In Proceedings of the Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS 2005
Citations:11 - 2 self