( en | de | ru )

 

Disambiguierung von "Pedersen, Mathias Ruggaard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Axiomatizability of Priority III: The Return of Sequential Composition.

, , , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 145-157. CEUR-WS.org, (2019)

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.

Ulf Pedersen

Vera Pedersen

Ole Pedersen

Susanne Pedersen

Ena Pedersen

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning About Bounds in Weighted Transition Systems., , , und . Log. Methods Comput. Sci., (2018)Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects.. CoRR, (2019)Reasoning About Bounds in Weighted Transition Systems., , , , und . CoRR, (2017)On the Axiomatisability of Parallel Composition., , , , und . Log. Methods Comput. Sci., (2022)On the Axiomatisability of Parallel Composition: A Journey in the Spectrum., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 18:1-18:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Faster-Than Relation for Semi-Markov Decision Processes., , und . QAPL@ETAPS, Volume 312 von EPTCS, Seite 29-42. (2019)Timed Comparisons of Semi-Markov Processes., , , , und . LATA, Volume 10792 von Lecture Notes in Computer Science, Seite 271-283. Springer, (2018)Timed Comparisons of Semi-Markov Processes., , , , und . CoRR, (2017)On the axiomatisability of priority III: Priority strikes again., , , , , und . Theor. Comput. Sci., (2020)On the Axiomatisability of Parallel Composition., , , , und . CoRR, (2021)