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