Andréia Borges Avelar

From MaRDI portal
Person:2069873

Available identifiers

zbMath Open avelar.andreia-borgesMaRDI QIDQ2069873

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q60996212023-06-20Paper
Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem2022-01-21Paper
First-order unification in the PVS proof assistant2019-01-08Paper
Verification of the Completeness of Unification Algorithms à la Robinson2010-09-29Paper

Research outcomes over time

This page was built for person: Andréia Borges Avelar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2069873&oldid=6601595"
Powered by MediaWiki