Comon, Hubert ;
Kozen, Dexter ;
Seidl, Helmut ;
Vardi, Mosche Y.
Weitere Beteiligte (Hrsg. etc.): Hubert Comon and Dexter Kozen and Helmut Seidl and Mosche Y. Vardi
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)
BibTeX - Entry
@TechReport{comon_et_al:DagSemRep.193,
author = {Comon, Hubert and Kozen, Dexter and Seidl, Helmut and Vardi, Mosche Y.},
title = {{Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)}},
pages = {1--34},
ISSN = {1619-0203},
year = {1997},
type = {Dagstuhl Seminar Report},
number = {193},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15079},
URN = {urn:nbn:de:0030-drops-150792},
doi = {10.4230/DagSemRep.193},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
12.12.1997 |
12.12.1997
