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)
Results 1-4 of 4 (Search time: 0.003 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 | 2001 | On functors which are lax epimorphisms | Adámek, Jirí ; Bashir, Robert El ; Sobral, Manuela ; Velebil, Jirí | preprint | openAccess |