Sylvia Friese

According to our database, Sylvia Friese authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Type Checking of Tree Walking Transducers.

Sebastian Maneth, Sylvia Friese, Helmut Seidl

Proceedings of the Modern Applications of Automata Theory., 2012

2011

On normalization and type checking for tree transducers.

Sylvia Friese

PhD thesis, 2011

Earliest Normal Form and Minimization for Bottom-up Tree Transducers.

Sylvia Friese, Helmut Seidl, Sebastian Maneth

Int. J. Found. Comput. Sci., 2011

2010

Minimization of Deterministic Bottom-Up Tree Transducers.

Sylvia Friese, Helmut Seidl, Sebastian Maneth

Proceedings of the Developments in Language Theory, 14th International Conference, 2010