Cristina Sernadas
Use attributes for filter ! | |
Affiliations | Instituto Superior Tecnico |
---|---|
Citations | 3,095 |
H index | 31 |
Interests | Mathematical Logic And Applications |
Date of Reg. | |
Date of Upd. | |
ID | 4191925 |
About Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas is a Portuguese mathematical logician whose research topics have included object-oriented specification languages and logics for information systems, and the use of category theory in the combination of multiple types of logic.