Convergence in infinitary term graph rewriting systems is simple (extended abstract)

Patrick Bahr

doi:10.4204/EPTCS.110.4

Convergence in infinitary term graph rewriting systems is simple (extended abstract)

Patrick Bahr

Datalogisk Institut

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

114 Downloads (Pure)

Originalsprog	Engelsk
Titel	Proceedings of the 7th International Workshop on Computing with Terms and Graphs : Rome, 23th March 2013
Redaktører	Rachid Echahed, Detlef Plump
Antal sider	12
Forlag	Open Publishing Association
Publikationsdato	2013
Sider	17-28
DOI	https://doi.org/10.4204/EPTCS.110.4
Status	Udgivet - 2013
Begivenhed	International Workshop on Computing with Terms and Graphs 2013 - Rome, Italien Varighed: 23 mar. 2013 → … Konferencens nummer: 7

Konference

Konference	International Workshop on Computing with Terms and Graphs 2013
Nummer	7
Land/Område	Italien
By	Rome
Periode	23/03/2013 → …

Navn	Electronic Proceedings in Theoretical Computer Science
Vol/bind	110
ISSN	2075-2180

Adgang til dokumentet

10.4204/EPTCS.110.4Licens: CC BY

Bahr_2013_Convergence_in_infinitaryForlagets udgivne version, 231 KBLicens: CC BY

Citationsformater

Convergence in infinitary term graph rewriting systems is simple (extended abstract). / Bahr, Patrick.
Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. red. / Rachid Echahed; Detlef Plump. Open Publishing Association, 2013. s. 17-28 (Electronic Proceedings in Theoretical Computer Science, Bind 110).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Bahr, P 2013, Convergence in infinitary term graph rewriting systems is simple (extended abstract). i R Echahed & D Plump (red), Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, bind 110, s. 17-28, International Workshop on Computing with Terms and Graphs 2013 , Rome, Italien, 23/03/2013. https://doi.org/10.4204/EPTCS.110.4

@inproceedings{ec87d7b2d850429688d6bf336686ad2d,

title = "Convergence in infinitary term graph rewriting systems is simple (extended abstract)",

author = "Patrick Bahr",

year = "2013",

doi = "10.4204/EPTCS.110.4",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "17--28",

editor = "Rachid Echahed and Detlef Plump",

booktitle = "Proceedings of the 7th International Workshop on Computing with Terms and Graphs",

note = "International Workshop on Computing with Terms and Graphs 2013 ; Conference date: 23-03-2013",

}

TY - GEN

T1 - Convergence in infinitary term graph rewriting systems is simple (extended abstract)

AU - Bahr, Patrick

N1 - Conference code: 7

PY - 2013

Y1 - 2013

U2 - 10.4204/EPTCS.110.4

DO - 10.4204/EPTCS.110.4

M3 - Article in proceedings

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 17

EP - 28

BT - Proceedings of the 7th International Workshop on Computing with Terms and Graphs

A2 - Echahed, Rachid

A2 - Plump, Detlef

PB - Open Publishing Association

T2 - International Workshop on Computing with Terms and Graphs 2013

Y2 - 23 March 2013

ER -