Cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Resultats 1-1 de 1.
- anterior
- 1
- següent
Registres trobats:
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 |
Opcions relacionades
Matèria
- 1 Algebra
- 1 Completeness
- 1 Equational logic
- 1 Àlgebra
- 1 Álgebra
- següent >
Tipus de publicació
- 1 Article