Prof. Dr. Helmut Seidl

Publications in Journals before 1994:

• FORK - A High Level Language for PRAMs.
  Torben Hagerup, Arno Schmitt and Helmut Seidl.
  Journal Future Generation Computer Systems (FGCS) 8, 379-394, 1992
• Single-Valuedness of Tree Transducers Is Decidable in Polynomial Time.
  Helmut Seidl.
  Theoretical Computer Science 106, 135-181, 1992
• On the Degree of Ambiguity of Finite Automata.
  Andreas Weber and Helmut Seidl.
  Theoretical Computer Science 88, 5-349, 1991
• On Finitely Generated Monoids with Entries in N.
  Andreas Weber and Helmut Seidl.
  Informatique theorique et Applications/Theoretical Informatics and Applications 25, 19-38, 1991
• Deciding Equivalence of Finite Tree Automata.
  Helmut Seidl. SIAM Journal of Computing 19, 424-437, 1990
• On the Finite Degree of Ambiguity of Finite Tree Automata.
  Helmut Seidl. Acta Informatica 26, 527-542, 1989
• Parameter-Reduction of Higher Level Grammars.
  Helmut Seidl. Theoretical Computer Science 55 (1987), 47-85