( en | de | ru )

 

Disambiguierung von "Seidl, Helmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Type-safe Macro System for XML.

, und . Extreme Markup Languages®, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Helmut Seidl

Helmut Seidl

Helmut Seidl

Helmut Seidl

Helmut Seidl

 

Weitere Publikationen von Autoren mit dem selben Namen

Interprocedural Analyses: A Comparison., und . J. Log. Program., 43 (2): 123-156 (2000)Parameter-Reduction of Higher Level Grammars (Extended Abstract).. CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 52-71. Springer, (1988)Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable.. CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 269-284. Springer, (1990)Games through Nested Fixpoints., und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 291-305. Springer, (2009)On the Balancedness of Tree-to-Word Transducers., , und . DLT, Volume 12086 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2020)Three improvements to the top-down solver., und . Math. Struct. Comput. Sci., 31 (9): 1090-1134 (2021)On the Degree of Ambiguity of Finite Automata., und . Theor. Comput. Sci., 88 (2): 325-349 (1991)Look-ahead removal for total deterministic top-down tree transducers., , und . Theor. Comput. Sci., (2016)(Linear) Algebra for Program Analysis Dynamische Programmanalyse., und . Softwaretechnik-Trends, (2003)Correctness Witness Validation by Abstract Interpretation., , , , , und . CoRR, (2023)