Sobral, Manuela
Claim profile
Loading...
2
0
20
0
false
Name
Sobral, Manuela
Main Affiliation
Unidade de I&D
Status
UC Researcher
Loading...
3
0
20
0
false
Publications
(All)
Subject
Date issued
Type
Results 1-4 of 4 (Search time: 0.505 seconds).
| Issue Date | Title | Author(s) | Type | Access | |
|---|---|---|---|---|---|
| 1 | 2005 | Logic of implications | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | preprint | openAccess |
| 2 | 2007 | A logic of implications in algebra and coalgebra | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | preprint | openAccess |
| 3 | 2006 | Morita equivalence of many-sorted algebraic theories | Adámek, Jirí ; Sobral, Manuela ; Sousa, Lurdes | article | openAccess |
| 4 | 1997 | Reflective and Orthogonal Hulls. | Sousa, Maria de Lurdes da Costa e | doctoralThesis | openAccess |