( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining representation formalisms for reasoning upon mathematical knowledge.

, , , , , и . K-CAP, стр. 180-187. ACM, (2023)

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.

Horatiu Zieger

Horatiu Fantana

Horatiu-Lucian Nickel

Ion Cristian Cirstea

Horatiu-Zeno Simon

 

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

From Functional Programs to Interaction Nets via the Rewriting Calculus., , , , и . WRS@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 39-56. Elsevier, (2006)A rho-Calculus of Explicit Constraint Application., , и . WRLA, том 117 из Electronic Notes in Theoretical Computer Science, стр. 51-67. Elsevier, (2004)Static analysis of pattern-free properties., , и . PPDP, стр. 9:1-9:13. ACM, (2021)Pattern Eliminating Transformations., , и . LOPSTR, том 12561 из Lecture Notes in Computer Science, стр. 74-92. Springer, (2020)Rule-based Programming in Java For Protocol Verification., , и . WRLA, том 117 из Electronic Notes in Theoretical Computer Science, стр. 209-227. Elsevier, (2004)The simply typed rewriting calculus., и . WRLA, том 36 из Electronic Notes in Theoretical Computer Science, стр. 24-42. Elsevier, (2000)Combining representation formalisms for reasoning upon mathematical knowledge., , , , , и . K-CAP, стр. 180-187. ACM, (2023)Distributive rho-calculus., , и . WRLA, том 176 из Electronic Notes in Theoretical Computer Science, стр. 95-111. Elsevier, (2006)Validating Traces of Distributed Programs Against TLA+ Specifications., , , и . CoRR, (2024)Generic Encodings of Constructor Rewriting Systems., и . PPDP, стр. 8:1-8:12. ACM, (2019)