Download Logical Expressions: Analyzing, Generalizing, Rewriting

Paul Klint gave me general directions, without him, Ger Bakker, Gert-Jan Tretmans
and other people from the TriLoc management team this project never would have existed in the first place. Lia Bos and Lucienne Evers provided me with information on
Logic Mining and Jacob Brunekreef supported me on the ASF+SDF development and
this thesis.
Although all these people helped me a great deal and I have got enough talent of my
own, none of this would have even come close to success if it wasn’t for the unconditional support of my parents. So last but definitely not least I would like to thank them,
George and Mientje, for supporting me.
When reading this thesis you might find the layout to be a little different from what is
expected from a master thesis.
I have tried to make this thesis both pleasing for the mind as for the eye. I hope you
enjoy reading it.
Yours truly,
Alex
Photography by Remko Schnorr
Disce ut semper victurus, vive ut cras moriturus.