( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Steps and Traces.

, , и . CoRR, (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.

Frédéric Blain

Fiona Carola Blain

Flora Levy

Hugo Levy

Heinz Levy

 

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

Transition systems over games., и . CSL-LICS, стр. 64:1-64:10. ACM, (2014)Similarity Quotients as Final Coalgebras.. FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 27-41. Springer, (2011)Infinite Trace Equivalence.. MFPS, том 155 из Electronic Notes in Theoretical Computer Science, стр. 467-496. Elsevier, (2005)Amb Breaks Well-Pointedness, Ground Amb Doesn't.. MFPS, том 173 из Electronic Notes in Theoretical Computer Science, стр. 221-239. Elsevier, (2007)A Syntactic View of Computational Adequacy., и . FoSSaCS, том 10803 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2018)Infinitary Howe's Method.. CMCS, том 164 из Electronic Notes in Theoretical Computer Science, стр. 85-104. Elsevier, (2006)Typed Normal Form Bisimulation for Parametric Polymorphism., и . LICS, стр. 341-352. IEEE Computer Society, (2008)Characterizing Recursive Programs up to Bisimilarity.. FICS, стр. 47-52. Laboratoire d'Informatique Fondamentale de Marseille, (2010)Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation Springer, (2004)Steps and Traces., , и . CoRR, (2020)