( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A formalisation of nominal α-equivalence with A, C, and AC function symbols.

, , , , и . Theor. Comput. Sci., (2019)

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.

Daniele Soroldoni

Daniele Silvestro

Daniele Palmisano

Daniele Pillitteri

Daniele Suzzi

 

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

O problema da dedução do intruso para teorias AC-convergentes localmente estáveis.. University of Brasília, Brazil, (2013)ndltd.org (oai:repositorio.unb.br:10482/14781).Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)., , , , , , и . Dagstuhl Artifacts Ser., 10 (2): 13:1-13:2 (2024)On Nominal Syntax and Permutation Fixed Points., , и . Log. Methods Comput. Sci., (2020)Compositional Symbolic Execution for Correctness and Incorrectness Reasoning., , , , , и . ECOOP, том 313 из LIPIcs, стр. 25:1-25:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes., , и . TYPES, том 239 из LIPIcs, стр. 11:1-11:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Nominal AC-Matching., , , , и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 53-68. Springer, (2023)Typed Non-determinism in Functional and Concurrent Calculi., , , и . APLAS, том 14405 из Lecture Notes in Computer Science, стр. 112-132. Springer, (2023)Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)., , , , , и . CoRR, (2024)Functions as Processes: The Case of Collapsing Non-determinism., , , и . CoRR, (2022)A Certified Functional Nominal C-Unification Algorithm., , , и . LOPSTR, том 12042 из Lecture Notes in Computer Science, стр. 123-138. Springer, (2019)