Multioperator Weighted Monadic Datalog

Multioperator Weighted Monadic Datalog

In this thesis we will introduce multioperator weighted monadic datalog (mwmd), a formal model for specifying tree series, tree transformations, and tree languages. This model combines aspects of multioperator weighted tree automata (wmta), weighted monadic datalog (wmd), and monadic datalog tree tr...

Full description

Bibliographic Details
Main Author: Stüber, Torsten
Other Authors: Technische Universität Dresden, Fakultät Informatik
Format: Doctoral Thesis
Language:English
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2011
Subjects:
Automatentheorie
Baumautomaten
Baumübersetzer
Logik
Monadic Datalog
Automata Theory
Tree Automata
Tree Transducer
Logic
ddc:004
rvk:ST 136
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-68116
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-68116
http://www.qucosa.de/fileadmin/data/qucosa/documents/6811/dissertation.pdf

Internet

http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-68116
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-68116
http://www.qucosa.de/fileadmin/data/qucosa/documents/6811/dissertation.pdf

Similar Items