Proceedings 8th International Workshop on Computing with Terms and Graphs

Femke van Raamsdonk; Aart Middeldorp

doi:10.4204/eptcs.183

Proceedings 8th International Workshop on Computing with Terms and Graphs

Femke van Raamsdonk (Editor)
, Aart Middeldorp (Editor)

Research output: Book / Report › Book (Editorship) › Academic

Abstract

This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014.
The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.

Original language	English
Publisher	EPTCS
Number of pages	80
Volume	183
DOIs	https://doi.org/10.4204/eptcs.183
Publication status	Published - 26 May 2015
Event	8th International Workshop on Computing with Terms and Graphs - Vienna, Austria Duration: 13 Jul 2014 → 13 Jul 2014 Conference number: 8 http://www.termgraph.org.uk

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 17 Partnerships for the Goals

Keywords

graph rewriting, models of computation

Access to Document

10.4204/eptcs.183

Persistent URL (handle)

Persistent link

Cite this

@book{f276739e55fe4f919114cf329c1caf59,

title = "Proceedings 8th International Workshop on Computing with Terms and Graphs",

abstract = "This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.",

keywords = "graph rewriting, models of computation",

editor = "\{van Raamsdonk\}, Femke and Aart Middeldorp",

year = "2015",

month = may,

day = "26",

doi = "10.4204/eptcs.183",

language = "English",

volume = "183",

publisher = "EPTCS",

note = "8th International Workshop on Computing with Terms and Graphs, Termgraph 2014 ; Conference date: 13-07-2014 Through 13-07-2014",

url = "http://www.termgraph.org.uk",

}

TY - BOOK

T1 - Proceedings 8th International Workshop on Computing with Terms and Graphs

A2 - van Raamsdonk, Femke

A2 - Middeldorp, Aart

N1 - Conference code: 8

PY - 2015/5/26

Y1 - 2015/5/26

N2 - This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.

AB - This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.

KW - graph rewriting, models of computation

U2 - 10.4204/eptcs.183

DO - 10.4204/eptcs.183

M3 - Book (Editorship)

VL - 183

BT - Proceedings 8th International Workshop on Computing with Terms and Graphs

PB - EPTCS

T2 - 8th International Workshop on Computing with Terms and Graphs

Y2 - 13 July 2014 through 13 July 2014

ER -

Proceedings 8th International Workshop on Computing with Terms and Graphs

Abstract

UN SDGs

Keywords

Access to Document

Persistent URL (handle)

Fingerprint

Cite this