Publikationen
For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.
Backward and forward bisimulation minimisation of tree automata
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proc. 12th Int. Conf. Implementation and Application of Automata
Schlagwörter
-
Verlag
© Springer-Verlag
Jahrgang/Erscheinungsjahr
2007
Vermerk
keiner
Band/Vol.
LNCS 4783
Seiten
109-121
Referiert
Ja
Open Access
Ja
Url/Urn/Doi
ftp://ftp.isi.edu/isi-pubs/tr-633.pdf
Zugeordnete Forschungsschwerpunkte
- Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
- Gewichtete Baumautomaten über Multioperator-Monoiden
Berichtsjahr
2007
Export
Stand: 26.10.2020 10:29 Uhr