Nested quantification in graph transformation rules
Jan-Hendrik Kuperus · 2007
“Life is really simple, but we insist on making it complicated” –Confucius Preface The document before you contains the resulting documentation of my Master’s Thesis. In the period from September 1st, 2006 to June 28th, 2007 I worked on this project to finalize my study in Computer Science. I would like to thank the members of my graduation committee for their support during this project. A few words for each, in alphabetic order: • Harmen Kastenberg, for pointing me in the right direction when I got stuck during implementation • Jan Kuper, for warning me about Category Theory and helping me understand it and wield its power • Arend Rensink, for supplying the project idea and asking the questions I tried to avoid