Author of the publication

Expressive Logics for Coinductive Predicates.

, and . CSL, volume 152 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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

Coalgebraic Determinization of Alternating Automata., and . CoRR, (2018)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Fast Computations on Ordered Nominal Sets., , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)Up-to Techniques for Branching Bisimilarity., , and . CoRR, (2020)Separation and Renaming in Nominal Sets., and . CoRR, (2019)Fast computations on ordered nominal sets., , and . Theor. Comput. Sci., (2022)Presenting Distributive Laws., , , and . Log. Methods Comput. Sci., (2015)A big step from finite to infinite computations., , , and . Sci. Comput. Program., (2020)