Cerca per Matèria Hybrid logic
Mostrant resultats 1 a 1 de 1
Data de publicació | Títol | Autor(s) |
---|---|---|
2018-10-20 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia |