Browsing by Subject Hybrid logic
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2018-10-20 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia |
Issue Date | Title | Author(s) |
---|---|---|
2018-10-20 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia |