Automata and Fixed Point Logic: a Coalgebraic Perspective

Authors
Publication date 2004
Series Technical Reports, PP-2004-21
Number of pages 32
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Working paper
Permalink to this page
Back