Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1996
Bradfield, J. and Esparza, J. and Mader, A.H.
(1996)
An Effective Tableau System for the Linear Time µ-Calculus.
In: 23rd Int. Conf. Automata, Languages and Programming (ICALP), Paderborn, Germany.
pp. 98-109.
Springer-Verlag.
ISBN 3-540-61440-0
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||