Title of article
Automata and fixed point logic: A coalgebraic perspective
Author/Authors
Yde Venema، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
42
From page
637
To page
678
Keywords
Coalgebra , Automata , modal logic , Game semantics , Parity games , Bisimulation , Fixed point operators
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262343
Link To Document