TY -
GEN
AU - Venema, Yde
TI -
Automata and fixed point logic: A coalgebraic perspective
PB - Elsevier BV
SN - 0890-5401
KW - Computational Theory and Mathematics
KW - Computer Science Applications
KW - Information Systems
KW - Theoretical Computer Science
PY - 2006
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -