English
español
Navegación por Autor Veanes, Margus
Mostrando resultados 1 a 1 de 1
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
closedAccess | 2000 | On the undecidability of second-order unification | Levy, Jordi CSIC ORCID ; Veanes, Margus | artículo |