Terms for Efficient Proof Checking and Parsing

Autor:	Michael Färber
Rok vydání:	2023
Zdroj:	Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::61e277046ab632b2580d5670d55ff2d8 https://doi.org/10.1145/3573105.3575686 Zobrazit plný text záznamu