Browsing by Author Martins, Manuel A.
Showing results 2 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 20-Oct-2018 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Huertas Sánchez, María Antonia; Martins, Manuel A. |
Showing results 2 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 20-Oct-2018 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Huertas Sánchez, María Antonia; Martins, Manuel A. |