( en | de | ru )

 

Disambiguierung von "Mandrioli, Dino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.

, , und . Log. Methods Comput. Sci., (2023)

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.

Caroline Dinort

Günter Dinort

Kathrin Dinort

Dino Azzano

Dino Carelli

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraic properties of structured context-free languages: old approaches and novel developments, und . CoRR, (2009)Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach., , und . CSEDU (2), Seite 289-296. INSTICC Press, (2010)On Deterministic Multi-Pass Analysis., , und . SIAM J. Comput., 15 (3): 668-693 (1986)Fundamentals of software engineering (2. ed.)., , und . Prentice Hall, (2003)Symbolic Execution of Concurrent Systems Using Petri Nets., , , und . Comput. Lang., 14 (4): 263-281 (1989)Operator precedence temporal logic and model checking., , und . Theor. Comput. Sci., (2020)Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization., , , und . SIAM J. Comput., 44 (4): 1026-1088 (2015)Safety Assessment of Collaborative Robotics Through Automated Formal Verification., , , und . IEEE Trans. Robotics, 36 (1): 42-61 (2020)Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages., , und . Log. Methods Comput. Sci., (2023)Parallel parsing made practical., , , , und . Sci. Comput. Program., (2015)