Browsing by Author Huertas, Antonia
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| Dec-2019 | Completeness in Equational Hybrid Propositional Type Theory | Manzano, Maria; Martins, Manuel; Huertas, Antonia | article |  |
| Jun-2019 | Rigid first-order hybrid logic | Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia | bookPart |  |