|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Una aproximación al fallo en programación declarativa multiparadigma |
|
Doctorando |
Jaime Sánchez Hernández |
|
Director(es) |
Francisco J. López Fraguas |
|
Universidad |
Complutense de Madrid |
|
Año de lectura |
2004 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
AUTORES |
F. J. LÓPEZ FRAGUAS, J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
PROVING FAILURE IN FUNCTIONAL LOGIC PROGRAMS |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTÍCULO |
|
NOMBRE DE LA REVISTA |
LECTURTE NOTES IN ARTIFICIAL INTELLIGENCE |
|
VOLUMEN |
1861 |
|
PÁGINAS |
DESDE 170 |
|
HASTA 193 |
|
EDITORIAL |
SPRINGER VERLAG |
|
PAÍS DE PUBLICACIÓN |
ALEMANIA |
|
AÑO DE PUBLICACIÓN |
2000 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
|
ÍNDICE DE IMPACTO: 0,253 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): 8 |
|
OTROS INDICIOS (si se sabe): TRABAJO PRESENTADO EN "FIRST INTERNATIONAL CONFERENCE ON COMPUTATIONAL LOGIC (CL'00)", QUE OCUPA EL LUGAR 541 DE 1221 ENTRADAS (INDICE DE IMPACTO 0.59) EN CITESEER |
|
|
|
|
|
|
|
AUTORES |
J. ALMENDROS JIMÉNEZ, A. BECERRA TERÓN, J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A COMPUTATIONAL MODEL FOR FUNCTIONAL LOGIC DEDUCTIVE DATABASES |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTÍCULO |
|
NOMBRE DE LA REVISTA |
LECTURE NOTES IN COMPUTER SCIENCE |
|
VOLUMEN |
2237 |
|
PÁGINAS |
DESDE 331 |
|
HASTA 347 |
|
EDITORIAL |
SPRINGER VERLAG |
|
PAÍS DE PUBLICACIÓN |
ALEMANIA |
|
AÑO DE PUBLICACIÓN |
2001 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY&METHO |
|
ÍNDICE DE IMPACTO: 0,415 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 46 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): TRABAJO FUE PRESENTADO EN EL "17TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'01)", QUE OCUPA EL LUGAR 118 DE UN TOTAL DE 1221 ENTRADAS (INDICE DE IMPACTO 9.66) EN CITESEER. ESTE CONGRESO ESTA CLASFICADO COMO "A" EN EL COMPUTING RESEARCH AND EDUCATION (CORE) |
|
|
|
|
|
|
|
AUTORES |
F. J. LÓPEZ FRAGUAS, J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
FUNCTIONAL LOGIC PROGRAMMING WITH FAILURE: A SET-ORIENTED VIEW |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTICULO |
|
NOMBRE DE LA REVISTA |
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE |
|
VOLUMEN |
2250 |
|
PÁGINAS |
DESDE 455 |
|
HASTA 469 |
|
EDITORIAL |
SPRINGER VERLAG |
|
PAÍS DE PUBLICACIÓN |
ALEMANIA |
|
AÑO DE PUBLICACIÓN |
2001 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
Nº DE CITAS (si se sabe, excl. autocitas): 3 |
|
OTROS INDICIOS (si se sabe):ESTE TRABAJO FUE PRESENTADO EN EL CONGRESO "8TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING AND AUTOMATED REASONING (LPAR'01)", QUE OCUPA EL LUGAR 469 DE UN TOTAL DE 1221 ENTRADAS (INDICE DE IMPACTO 0.69) EN CITESEER. ESTE CONGRESO ESTA CLASFICADO COMO "A" EN EL COMPUTING RESEARCH AND EDUCATION (CORE) |
|
|
|
|
|
|
|
|
|
|
AUTORES |
F. J. LÓPEZ FRAGUAS, J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
NARROWING FAILURE IN FUNCTIONAL LOGIC PROGRAMMING |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTICULO |
|
NOMBRE DE LA REVISTA |
LECTURE NOTES IN COMPUTER SCIENCE |
|
VOLUMEN |
2441 |
|
PÁGINAS |
DESDE 212 |
|
HASTA 227 |
|
EDITORIAL |
SPRINGER VERLAG |
|
PAÍS DE PUBLICACIÓN |
ALEMANIA |
|
AÑO DE PUBLICACIÓN |
2002 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY&METHO |
|
ÍNDICE DE IMPACTO: 0,515 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 36 |
|
Nº DE REVISTAS EN EL ÁREA: 69 |
|
Nº DE CITAS (si se sabe, excl. autocitas): 11 |
|
OTROS INDICIOS (si se sabe): TRABAJO FUE PRESENTADO EN EL CONGRESO "6TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS'02)", QUE OCUPA EL LUGAR 468 DE UN TOTAL DE 1221 ENTRADAS (INDICE DE IMPACTO 0.69) EN CITESEER. ESTE CONGRESO ESTA CLASFICADO COMO "A" EN EL COMPUTING RESEARCH AND EDUCATION (CORE) |
|
|
|
|
|
|
|
AUTORES |
F. J. LÓPEZ FRAGUAS, J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
FAILURE AND EQUALITY IN FUNCTIONAL LOGIC PROGRAMMING |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTICULO |
|
NOMBRE DE LA REVISTA |
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
|
VOLUMEN |
86(3) |
|
PÁGINAS |
DESDE 123 |
|
HASTA 143 |
|
EDITORIAL |
ELSEVIER |
|
PAÍS DE PUBLICACIÓN |
ESPAÑA |
|
AÑO DE PUBLICACIÓN |
2003 |
|
ISSN |
1571-0661 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): ESTA REVISTA OCUPA EL LUGAR 710 DE UN TOTAL DE 1221 EN CITESEER EN EL ÁREA DE COMPUTER SCIENCE, CON UN ÍNDICE DE IMPACTO DE 0,380 |
|
|
|
|
|
|
|
AUTORES |
A PROOF THEORETIC APPROACH TO FAILURE IN FUNCTIONAL LOGIC PROGRAMMING |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
A PROOF THEORETIC APPROACH TO FAILURE IN FUNCTIONAL LOGIC PROGRAMMING |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTÍCULO |
|
NOMBRE DE LA REVISTA |
THEORY AND PRACTICE OF LOGIC PROGRAMMING |
|
VOLUMEN |
4(1&2) |
|
PÁGINAS |
DESDE 41 |
|
HASTA 74 |
|
EDITORIAL |
CAMBRIDGE UNIVERSITY PRESS |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
1471-0684 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY&METHO |
|
ÍNDICE DE IMPACTO: 2,024 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 11 |
|
Nº DE REVISTAS EN EL ÁREA: 70 |
|
Nº DE CITAS (si se sabe, excl. autocitas): 9 |
|
OTROS INDICIOS (si se sabe): ESTA REVISTA OCUPA EL LUGAR 494 DE UN TOTAL DE 1221 ENTRADAS (INDICE DE IMPACTO 0.66) EN EL LISTADO COMBINADO DE REVISTAS Y CONGRESOS RECOGIDO EN EL CITESEER |
|
|
|
|
|
|
|
AUTORES |
J. SÁNCHEZ HERNÁNDEZ |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
CONSTRUCTIVE FAILURE IN FUNCTIONAL-LOGIC PROGRAMMING: FROM THEORY TO IMPLEMENTATION |
|
CLAVE (Artículo, Artículo de revisión, editor) |
ARTICULO |
|
NOMBRE DE LA REVISTA |
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
|
VOLUMEN |
12(11) |
|
PÁGINAS |
DESDE 1574 |
|
HASTA 1593 |
|
EDITORIAL |
SPRINGER |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
0948-695X |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY&METHO |
|
ÍNDICE DE IMPACTO: 0,338 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 66 |
|
Nº DE REVISTAS EN EL ÁREA: 75 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
