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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262343
