Revision as of 18:05, 30 June 2021 by Admin (talk | contribs) (Removed redirect to Logic Wiki (LoLITA))
Group for Computability, Approximate Reasoning, Ordered structures, and Logics
CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications.
Matemática Discreta
Ferramentas de Lógica
Documentação
Consult the User's Guide for information on using the wiki software.