( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Bialgebraic Semantics and Equations.

, и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 381-395. Springer, (2014)

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.

Jurriaan Feijth

Sergej Rot

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

 

Другие публикации лиц с тем же именем

A Big Step from Finite to Infinite Computations (SCICO Journal-first)., , , и . ECOOP, том 166 из LIPIcs, стр. 32:1-32:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A New Approach for Active Automata Learning Based on Apartness., , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 223-243. Springer, (2022)Steps and Traces., , и . CoRR, (2020)Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation., , , , и . LICS, стр. 1-14. IEEE, (2021)Coinductive Proof Techniques for Language Equivalence., , и . LATA, том 7810 из Lecture Notes in Computer Science, стр. 480-492. Springer, (2013)Bisimilarity of Open Terms in Stream GSOS., , и . FSEN, том 10522 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2017)Distributive Laws for Monotone Specifications.. EXPRESS/SOS, том 255 из EPTCS, стр. 83-97. (2017)Combining Bialgebraic Semantics and Equations., и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 381-395. Springer, (2014)Coalgebra Learning via Duality., , и . FoSSaCS, том 11425 из Lecture Notes in Computer Science, стр. 62-79. Springer, (2019)Processes Parametrised by an Algebraic Theory., , , и . ICALP, том 229 из LIPIcs, стр. 132:1-132:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)