EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Meyer auf der Heide, F.
Home Policy Brochure Browse Search User Area Contact Help

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 Fri May 26 04:18:05 CEST 2017.