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.