Formalizing Ring Theory in PVS.

Andréia B. Avelar da Silva Thaynara Arielly de Lima André Luiz Galdino

Published in: ITP (2018)

Keyphrases

theoretical basis
database
conceptual framework
xml schema
theorem proving
data mining
image processing
face recognition
relational databases
multiresolution
special case
computational model
theoretical framework
theoretical foundation