Skip to content

Formalizing Ring Theory in PVS.

Andria B. Avelar da Silva, Thaynara Arielly de Lima, Andr Luiz Galdino

VenueBITP
Year2018
ProceedingsITP

Browse the full ITP paper archive.