Publicações

Towards Verified Handwritten Calculational Proofs: (Short Paper)

AuthID
P-00P-1XP

Author(s)

Mendes, A

Ferreira, JF

Editor(es)

Avigad J.Mahboubi A.

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 10895 LNCS, Páginas: 432-440

Conference

9Th International Conference on Interactive Theorem Proving, Itp 2018 Held as Part of the Federated Logic Conference, Floc 2018, Date: 9 July 2018 through 12 July 2018

Indexing