<--- Back to Details
First PageDocument Content
Theoretical computer science / Formal languages / Mathematics / Discrete mathematics / Graph theory / Abstract semantic graph / Graph / Rewriting / Graph rewriting
Date: 2016-12-11 09:16:58
Theoretical computer science
Formal languages
Mathematics
Discrete mathematics
Graph theory
Abstract semantic graph
Graph
Rewriting
Graph rewriting

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

Add to Reading List

Source URL: www.maria-a-schett.net

Download Document from Source Website

File Size: 1,02 MB

Share Document on Facebook

Similar Documents

Software / Computer programming / Compiler construction / Abstract syntax tree / Compiler / Abstract semantic graph / Extractor / GNU Compiler Collection / Syntax / TXL / Parsing / Optimizing compiler

DOC Document

DocID: 1qFLF - View Document

Computing Text Semantic Relatedness using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract∗ Majid Yazdani Idiap Research Institute and EPFL Centre du Parc, Rue MarconiMartigny, Switzerland

Computing Text Semantic Relatedness using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract∗ Majid Yazdani Idiap Research Institute and EPFL Centre du Parc, Rue MarconiMartigny, Switzerland

DocID: 1pxM4 - View Document

Distributed Stream Reasoning Rehab Albeladi, Kirk Martinez, Nicholas Gibbins Electronics and Computer Science, University of Southampton, UK {raab1g09, km, nmg }@ecs.soton.ac.uk  Abstract. Stream Reasoning is the combina

Distributed Stream Reasoning Rehab Albeladi, Kirk Martinez, Nicholas Gibbins Electronics and Computer Science, University of Southampton, UK {raab1g09, km, nmg }@ecs.soton.ac.uk Abstract. Stream Reasoning is the combina

DocID: 1p2Ed - View Document

Enterprise Linked Data as Core Business Infrastructure Steve Harris and Tom Ilube and Mischa Tuffield Abstract This chapter describes Garlik’s motivation, interest, and experiences of using Linked Data technologies in

Enterprise Linked Data as Core Business Infrastructure Steve Harris and Tom Ilube and Mischa Tuffield Abstract This chapter describes Garlik’s motivation, interest, and experiences of using Linked Data technologies in

DocID: 177Q7 - View Document

Generating Rewrite Rules by Browsing RDF Data Ora Lassila Nokia Research Center Cambridge Cambridge, MA 02142, USA  Abstract

Generating Rewrite Rules by Browsing RDF Data Ora Lassila Nokia Research Center Cambridge Cambridge, MA 02142, USA Abstract

DocID: 12ASZ - View Document