UIDB/00324/2020

View Statistics Email Alert RSS Feed

Primary Data

Project title
UIDB/00324/2020

Publications
(All)

Results 21-26 of 26 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)TypeAccess
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