Research summary: Analysing graph transformation systems using extended methods from constraint handling rules

Frank Raiser. Research summary: Analysing graph transformation systems using extended methods from constraint handling rules. 2009, 25th International Conference on Logic Programming, ICLP, volume 5649 of Lecture Notes in Computer Science, pages 540-541, Conference

Abstract:

Research summary for doctoral consortium of ICLP'09.