Closure properties of coalgebra automata

Authors
Publication date 2005
Book title Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Event LICS 2005
Pages (from-to) 199-208
Publisher Chicago: IEEE Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back