( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A general account of coinduction up-to.

, , , и . Acta Inf., 54 (2): 127-190 (2017)

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

 

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

Learning Language Intersections., и . A Journey from Process Algebra via Timed Automata to Model Learning, том 13560 из Lecture Notes in Computer Science, стр. 371-381. Springer, (2022)On Star Expressions and Coalgebraic Completeness Theorems., , и . MFPS, том 351 из EPTCS, стр. 242-259. (2021)Preservation and Reflection of Bisimilarity via Invertible Steps., , , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 328-348. Springer, (2023)Fast Computations on Ordered Nominal Sets., , и . ICTAC, том 11187 из Lecture Notes in Computer Science, стр. 493-512. Springer, (2018)Effectively Eliminating Auxiliaries., и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2016)Up-to Techniques for Branching Bisimilarity., , и . SOFSEM, том 12011 из Lecture Notes in Computer Science, стр. 285-297. Springer, (2020)Composing Codensity Bisimulations., , , и . LICS, стр. 52:1-52:13. ACM, (2024)Forward and Backward Steps in a Fibration., , , и . CALCO, том 270 из LIPIcs, стр. 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Expressive Logics for Coinductive Predicates., и . CSL, том 152 из LIPIcs, стр. 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Distributive Laws for Monotone Specifications.. EXPRESS/SOS, том 255 из EPTCS, стр. 83-97. (2017)