Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Rensink, A.
(2010)
Compositionality in Graph Transformation.
In: Automata, Languages and Programming (ICALP), 5-10 Jul 2010, Bordeaux, France.
pp. 309-320.
Lecture Notes in Computer Science 6199.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-14161-4
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
This list was generated on Thu May 24 07:21:47 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||