Zobrazeno 1 - 4
of 4
pro vyhledávání: '"RAMOS, Marcus Vinícius Midena"'
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T13:11:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/17642
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to
Externí odkaz:
http://arxiv.org/abs/1505.00061
Autor:
Ramos, Marcus Vinícius Midena, de Queiroz, Ruy J. G. B., Moreira, Nelma, Almeida, José Carlos Bacelar
Publikováno v:
Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, p338-357, 20p
Publikováno v:
Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p214-214, 1p