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

	Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga DocID: 1u1r4 - View Document
	Confluence: Online Journal of World Philosophies (http://www.verlag-alber.de/e-journals/confluence/) Confluence documents initiatives in institutions of higher education aimed at facilitating teaching and/or research in DocID: 1u1o1 - View Document
	Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria DocID: 1tMrD - View Document
	B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen DocID: 1tLIY - View Document
	CoCoWeb A Convenient Web Interface for Confluence Tools∗ Julian Nagele and Aart Middeldorp Department of Computer Science, University of Innsbruck, Austria {julian.nagele,aart.middeldorp}@uibk.ac.at DocID: 1tKnN - View Document