Die bibliographische Datenbank LEABib
![](images/empty.gif) |
![](images/empty.gif) |
Suche: Author="Mader, Angelika" |
![](images/empty.gif) |
An effective tableau system for the linear time \mu-calculus
Julian Bradfield, Javier Esparza, Angelika Mader
Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)
Lecture Notes in Computer Science
1099
, 1996, pp. 98-109
Editors | |
F. Meyer auf der Heide,
B. Monien |
Publisher: | | Springer-Verlag |
Address: | | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore |
|
| |
|