( en | de | ru )

 

Disambiguierung von "Broda, Sabine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deciding Synchronous Kleene Algebra with Derivatives.

, , , und . CIAA, Volume 9223 von Lecture Notes in Computer Science, Seite 49-62. Springer, (2015)

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.

Sabine Broda

Frank Broda

Bernd Broda

Rudolf Broda

Ottmar Broda

 

Weitere Publikationen von Autoren mit dem selben Namen

On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection., , , , und . DCFS, Volume 9777 von Lecture Notes in Computer Science, Seite 45-59. Springer, (2016)Position Automaton Construction for Regular Expressions with Intersection., , , und . DLT, Volume 9840 von Lecture Notes in Computer Science, Seite 51-63. Springer, (2016)Location automata for synchronised shuffle expressions., , , und . J. Log. Algebraic Methods Program., (April 2023)On the Average Size of Glushkov and Partial derivative Automata., , , und . Int. J. Found. Comput. Sci., 23 (5): 969-984 (2012)A Typed Language for Events., , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 107-123. Springer, (2015)Partial Derivative Automaton for Regular Expressions with Shuffle., , , und . DCFS, Volume 9118 von Lecture Notes in Computer Science, Seite 21-32. Springer, (2015)Inhabitation machines: determinism and principality., und . NCMA, Seite 57-70. Österreichische Computer Gesellschaft, (2017)A short note on type-inhabitation: Formula-trees vs. game semantics., und . Inf. Process. Lett., 115 (11): 908-911 (2015)Deciding Synchronous Kleene Algebra with Derivatives., , , und . CIAA, Volume 9223 von Lecture Notes in Computer Science, Seite 49-62. Springer, (2015)On the Equivalence of Automata for KAT-expressions., , , und . CiE, Volume 8493 von Lecture Notes in Computer Science, Seite 73-83. Springer, (2014)