Strong Joinability Analysis for Graph Transformation Systems in CHR

Frank Raiser, Thom W. Frühwirth. Strong Joinability Analysis for Graph Transformation Systems in CHR. Electronic Notes in Theoretical Computer Science, 253(4):91-111, 2009. [doi]

Authors

Frank Raiser

This author has not been identified. Look up 'Frank Raiser' in Google

Thom W. Frühwirth

This author has not been identified. Look up 'Thom W. Frühwirth' in Google