<--- Back to Details
First PageDocument Content
Theoretical computer science / Mathematics / Graph theory / Formal languages / Logic in computer science / Graph rewriting / Mathematical logic / Rewriting / Graph / KnuthBendix completion algorithm / Abstract semantic graph / Tree
Date: 2016-12-11 09:11:57
Theoretical computer science
Mathematics
Graph theory
Formal languages
Logic in computer science
Graph rewriting
Mathematical logic
Rewriting
Graph
KnuthBendix completion algorithm
Abstract semantic graph
Tree

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

Add to Reading List

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

Download Document from Source Website

File Size: 128,02 KB

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