For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

1 bis 10 von 10 Einträgen

Stüber, Torsten: Consistency of Probabilistic Context-Free Grammars. In: Technical Reports (2012), S. 1–26

Droste, Manfred; Vogler, Heiko: Weighted Automata and Multi-Valued Logics over Arbitrary Bounded Lattices. In: Theoretical Computer Science 418 (2012), S. 14–36

Fülöp, Zoltán; Stüber, Torsten; Vogler, Heiko: A Büchi-like theorem for weighted tree automata over multioperator monoids. In: Theory of Computing Systems 50 (2012), Nr. 2, S. 241–278

Stüber, Torsten: Multioperator Weighted Monadic Datalog. In: Ausgezeichnete Informatikdissertationen 2011, GI-Edition - Lecture Notes in Informatics (LNI), D-12 (2012)

Büchse, Matthias; Maletti, Andreas; Vogler, Heiko: Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars. In: Proceedings of the 16th international conference on Developments in Language Theory (2012), S. 368–379

Nederhof, Mark-Jan; Vogler, Heiko: Synchronous Context-Free Tree Grammars. In: Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+11) (2012), S. 55–63

Osterholzer, Johannes; Stüber, Torsten: State-Split for Hypergraphs with an Application to Tree Adjoining Grammars. In: Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+11) (2012), S. 180–188

Büchse, Matthias; Fischer, Anja: Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields. In: Proceedings EACL 2012 Workshop on Applications of Tree Automata Techniques in Natural Language Processing (2012)

Büchse, Matthias; Nederhof, Mark-Jan; Vogler, Heiko: Tree Parsing for Tree-Adjoining Machine Translation. In: Journal of Logic and Computation 22 (2012), Nr. 6

Droste, Manfred; Vogler, Heiko: The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. In: arXiv:1208.3942v1 [cs.FL] (2012)


Diese Informationen werden vom FIS bereitgestellt.
Stand: 20.11.2019 22:26 Uhr