Author of the publication

Saturated Semantics for Coalgebraic Logic Programming.

, and . CALCO, volume 8089 of Lecture Notes in Computer Science, page 80-94. Springer, (2013)

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

A General Theory of Barbs, Contexts, and Labels., , and . ACM Trans. Comput. Log., 15 (4): 35:1-35:27 (2014)Interacting Hopf Algebras., , and . CoRR, (2014)String Diagram Rewrite Theory I: Rewriting with Frobenius Structure., , , , and . CoRR, (2020)Convexity via Weak Distributive Laws., and . CoRR, (2021)Bisimilarity of open terms in stream GSOS., , , and . Sci. Comput. Program., (2019)Modular encoding of synchronous and asynchronous interactions using open Petri nets., , , and . Sci. Comput. Program., (2015)Partition refinement for bisimilarity in CCP., , , and . SAC, page 88-93. ACM, (2012)Saturated Semantics for Coalgebraic Logic Programming., and . CALCO, volume 8089 of Lecture Notes in Computer Science, page 80-94. Springer, (2013)Symbolic Semantics Revisited., and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 395-412. Springer, (2008)Interacting Bialgebras Are Frobenius., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 351-365. Springer, (2014)