|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Sistemas de tipos en lenguajes lógico-funcionales |
|
Doctorando |
Enrique Martín Martín |
|
Director(es) |
Francisco Javier López Fraguas y Juan Rodríguez Hortalá |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2012 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A liberal type system for functional logic programs |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Mathematical Structures in Computer Science |
|
VOLUMEN |
Aceptada para publicación |
|
PÁGINAS |
DESDE --- |
|
HASTA --- |
|
EDITORIAL |
Cambridge University Press |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
Se espera en 2013 |
|
ISSN |
0960-1295 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
|
ÍNDICE DE IMPACTO: 0.690 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 52 |
|
Nº DE REVISTAS EN EL ÁREA: 99 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Liberal typing for functional logic programs |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
6461 (8th Asian Symposium on Programming Languages and Systems, APLAS 2010) |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 80 |
|
HASTA 96 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2010 |
|
ISBN |
3-642-17163-x |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Enrique Martin-Martin |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
Type classes in functional logic programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM'11) |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 121 |
|
HASTA 130 |
|
EDITORIAL |
ACM Press |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2011 |
|
ISBN |
978-1-4503-0485-6 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Well-typed Narrowing with Extra Variables in Functional-Logic Programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
2012 ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM’12) |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 83 |
|
HASTA 92 |
|
EDITORIAL |
ACM Press |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2012 |
|
ISBN |
978-1-4503-1118-2 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá
|
|
Nº DE AUTORES |
3 |
|
TÍTULO |
New results on type systems for functional logic programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
8th International Workshop on Functional and (Constraint) Logic Programming (WFLP’09), Revised Selected Papers |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 128 |
|
HASTA 144 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2012 |
|
ISBN |
3-642-11998-0 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
