26th International Conference on Rewriting Techniques and Applications : RTA '15, June 29 to July 1, 2015, Warsaw, Poland

Einordnung

Konferenz:

International Conference on Rewriting Techniques and Applications (RTA) ; 26 (Warsaw) : 2015.06.29-07.01

Herausgebendes Organ:

GND

108016362X

RTA <26., 2015, Warschau>

In Serie:

Leibniz International Proceedings in Informatics : LIPIcs
Bd. 36 (06.2015)

Datum der Erstellung:

15.04.2020

Datum der Veröffentlichung:

06.2015

ISBN:

9783939897859

URN:

urn:nbn:de:0030-drops-51837

DOI:

10.4230/LIPIcs.RTA.2015.i

PPN:

843899956

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

392 Seiten

Erscheinungsort:

Saarbrücken/Wadern

Verlag:

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Schlagwörter:

Reduktionssystem^GND

DDC-Sachgruppe der DNB:

004 Informatik

Link URL:

http://drops.dagstuhl.de/opus/volltexte/2015/5183/

Link URL:

http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=15008

Einrichtung:

Technische Universität Ilmenau, Universitätsbibliothek