Automaten und Formale Sprachen

theoretische Probleme im Compilerbau

Authors: 
Scheeren, Nicole
Year: 
2015

A Kleene-Schützenberger theorem for trace series over bounded lattices

Authors: 
Huschenbett, Martin
Year: 
2010

Definable Transductions and Weighted Logics for Texts

Authors: 
Mathissen, Ch.
Year: 
2009

Weighted automata and weighted logics with discounting

Authors: 
Droste, M.
Rahonis, G.
Year: 
2009

Some natural problems in automatic graphs.

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2009

Automatic structures of bounded degree revisited.

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2009

A weighted mu-calculus on words

Authors: 
Meinecke, Ingmar
Year: 
2009

Weighted Timed MSO Logics

Authors: 
Quaas, K.
Year: 
2009

On the Supports of Recognizable Timed Series

Authors: 
Quaas, K.
Year: 
2009

Bifinite Chu spaces

Authors: 
Droste, M.
Zhang, G.-Q.

On the Determinization of Weighted Automata

Authors: 
Mäurer, I.
Kirsten, D.
Year: 
2004
Syndicate content