( en | de | ru )

 

Disambiguierung von "Luttik, Bas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.

, , , , und . CoRR, (2018)

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.

Bas Altena

Bas Heur

Bas Basten

Murat Bas

Murat Bas

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial., , und . Formal Aspects Comput., 10 (5-6): 435 (1998)On finite alphabets and infinite bases., , , und . Inf. Comput., 206 (5): 492-519 (2008)Towards model checking executable UML specifications in mCRL2., , , , und . Innov. Syst. Softw. Eng., 6 (1-2): 83-90 (2010)On the Axiomatisability of Parallel Composition., , , , und . CoRR, (2021)On the axiomatisability of priority III: Priority strikes again., , , , , und . Theor. Comput. Sci., (2020)Pushdown Automata and Context-Free Grammars in Bisimulation Semantics., , und . Log. Methods Comput. Sci., (2023)Up-to Techniques for Branching Bisimilarity., , und . CoRR, (2020)Divide and Congruence III: Stability & Divergence., , und . CONCUR, Volume 85 von LIPIcs, Seite 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Preface to special issue: EXPRESS 2011., und . Math. Struct. Comput. Sci., 26 (8): 1351 (2016)Computations and Interaction., , und . ICDCIT, Volume 6536 von Lecture Notes in Computer Science, Seite 35-54. Springer, (2011)