English
español
Navegación por Autor Horcik, Rostislav
Mostrando resultados 6 a 6 de 6
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 2013 | Semilinear non-associative substructural logics: completeness properties and complexity. | Cintula, Petr; Haniková, Zuzana; Horcik, Rostislav; Noguera, Carles CSIC ORCID | comunicación de congreso |