pdf-format: |
|
@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 |