master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

First Page		Document Content
Date: 2016-12-11 09:15:03 Theoretical computer science Mathematics Formal languages Discrete mathematics Graph theory Graph rewriting Logic in computer science Rewriting Rewrite order Confluence Graph Abstract semantic graph		master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck Add to Reading List Source URL: www.maria-a-schett.net Download Document from Source Website File Size: 1,11 MB Share Document on Facebook

	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London DocID: 1xV5b - View Document
	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London DocID: 1xUXR - View Document
	From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a DocID: 1xU4a - View Document
	Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011 DocID: 1xU0R - View Document
	From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016 DocID: 1xTUh - View Document