Author of the publication

Fast Computations on Ordered Nominal Sets.

, , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Star Expressions and Coalgebraic Completeness Theorems., , and . MFPS, volume 351 of EPTCS, page 242-259. (2021)A big step from finite to infinite computations., , , and . Sci. Comput. Program., (2020)Separation and Renaming in Nominal Sets., and . CoRR, (2019)Fast computations on ordered nominal sets., , and . Theor. Comput. Sci., (2022)Learning Language Intersections., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 371-381. Springer, (2022)Preservation and Reflection of Bisimilarity via Invertible Steps., , , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 328-348. Springer, (2023)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Presenting Distributive Laws., , , and . Log. Methods Comput. Sci., (2015)Coalgebraic Determinization of Alternating Automata., and . CoRR, (2018)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)