UIDB/00324/2020

Visualizar estatísticas Email de alerta RSS Feed

Primary Data

Project title
UIDB/00324/2020

Publications
(Todas)

Refinado por:
Data de publicação:  [2000 TO 2024]

Resultados 21-26 de 26.

Data de publicaçãoTítuloAutor(es)TipoAcesso
2110-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess
222023Substitution Principle and semidirect productsBorlido, Célia ; Gehrke, MaiarticleopenAccess
232022The algebraic and geometric classification of nilpotent Lie triple systems up to dimension fourAbdelwahab, Hani; Barreiro, Elisabete ; Calderón, Antonio J.; Fernández Ouaridi, AmirarticleopenAccess
242021The rough interval shortest path problemMoghanni, Ali; Pascoal, MartaarticleembargoedAccess
252023Weakly Schreier extensions for general algebrasManuell, Graham ; Martins-Ferreira, Nelson articleopenAccess
262023What makes a Stone topological algebra ProfiniteAlmeida, Jorge; Goulet-Ouellet, Herman ; Klíma, OndřejarticleopenAccess