<--- Back to Details
First PageDocument Content
Theoretical computer science / Mathematics / Formal languages / Discrete mathematics / Graph theory / Graph rewriting / Logic in computer science / Rewriting / Rewrite order / Confluence / Graph / Abstract semantic graph
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

Similar Documents

Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook

Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook

DocID: 1xVkB - View Document

PDF Document

DocID: 1xkJU - View Document

Graph theory Po-Shen Loh June

Graph theory Po-Shen Loh June

DocID: 1vmTo - View Document

Graph theory Po-Shen Loh June

Graph theory Po-Shen Loh June

DocID: 1vhpu - View Document

Graph theory Po-Shen Loh June

Graph theory Po-Shen Loh June

DocID: 1v8nl - View Document