Publications of in 2001

H.J. Sander Bruggink. Discourse representation by hypergraphs. Master's thesis, Utrecht University, 2001.
PDF (455 kB)
Info
Paolo Baldan, Andrea Corradini, and Barbara König. A static analysis technique for graph transformation systems. In Proc. of CONCUR '01, pages 381–395. Springer-Verlag, 2001. LNCS 2154.
GZipped PostScript (122 kB)
PDF (203 kB)
Info
Barbara König and Ugo Montanari. Observational equivalence for synchronized graph rewriting with mobility. In Proc. of TACS '01, pages 145–164. Springer-Verlag, 2001. LNCS 2215.
GZipped PostScript (129 kB)
PDF (228 kB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group