<--- 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

Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notions

Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notions

DocID: 1xW27 - View Document

Configuration Spaces and Graph Complexes  Najib Idrissi June 2018 @ University of Regina  Configuration Spaces

Configuration Spaces and Graph Complexes Najib Idrissi June 2018 @ University of Regina Configuration Spaces

DocID: 1xW08 - View Document

Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1

Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1

DocID: 1xVY3 - View Document

COLLOQUIUM Najib Idrissi ETH Z¨urich Configuration Spaces and Graph Complexes

COLLOQUIUM Najib Idrissi ETH Z¨urich Configuration Spaces and Graph Complexes

DocID: 1xVO2 - View Document

Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

DocID: 1xVBE - View Document