[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Completions of µ-algebras
Santocanale, L.Year:
2005
Language:
english
DOI:
10.1109/lics.2005.11
File:
PDF, 303 KB
english, 2005