( en | de | ru )

 

Disambiguation of "Tassi, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
ELPI: Fast, Embeddable, λProlog Interpreter.

, , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 460-468. Springer, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Enrico Tassi

Enrico Tassi

Tassi Giannikopoulos

Aurelio Tassi

Smaro Tassi

 

Other publications of authors with the same name

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)., , , and . ITP, volume 8558 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi., , and . CPP, page 167-181. ACM, (2023)ELPI: Fast, Embeddable, λProlog Interpreter., , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 460-468. Springer, (2015)Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)., , and . FSCD, volume 167 of LIPIcs, page 34:1-34:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq.. ITP, volume 141 of LIPIcs, page 29:1-29:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Coqoon - An IDE for Interactive Proof Development in Coq., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 316-331. Springer, (2016)Coqoon - An IDE for interactive proof development in Coq., , , and . Int. J. Softw. Tools Technol. Transf., 20 (2): 125-137 (2018)