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

	ISRFORT Property  arbitrary first-order formula over rewrite relations as predicates DocID: 1tN0S - View Document
	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 DocID: 1rjs4 - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ DocID: 1reYE - View Document
	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — DocID: 1oO7l - View Document