Sousa, Lurdes
Claim profile
Loading...
2
0
20
0
false
Name
Sousa, Lurdes
Variants
Sousa, Lurdes
Status
UC Researcher
Loading...
3
0
20
0
false
Publications
(All)
Results 1-3 of 3 (Search time: 0.008 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 |