1. DIGITAL.CSIC

Lopez-Garcia, Pedro

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Perfil

Firma en Digital.CSIC (*)
Lopez-Garcia, Pedro
 
Otras firmas
Pedro Lopez-Garcia
Lopez-Garcia, P.
P. Lopez-Garcia
Lopez, P.
P. Lopez
 
Centro o Instituto
CSIC - Instituto de Tecnologias Fisicas y de la Informacion Leonardo Torres Quevedo (ITEFI)
 
Departamento
Tecnologías de la Información y las Comunicaciones (TIC)
 
Categoría Profesional
Investigador Científico
 
Especialización
Análisis y verificación de sistemas
 
Email
pedro.lopez@csic.es
 
ORCID
 
Perfil en Google Scholar
 
WoS ResearcherID - Publons
 
Scopus AuthorID
 

Publications

Resultados 1-5 de 5.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1closedAccessaccesoRestringido.pdf.jpg2023Types, Modes and so Much More - The Prolog WayHermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro ; Carro, Manuelcapítulo de libro
2closedAccessaccesoRestringido.pdf.jpg2023Transforming Big-Step to Small-Step Semantics Using Interpreter SpecialisationGallagher, John P.; Hermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro capítulo de libro
3closedAccessaccesoRestringido.pdf.jpg2023Some Thoughts on How to Teach PrologHermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro capítulo de libro
4closedAccess2023Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th BirthdayLopez-Garcia, Pedro ; Gallagher, John P.; Giacobazzi, Robertolibro
5closedAccessaccesoRestringido.pdf.jpg2023A Rule-Based Approach for Designing and Composing Abstract DomainsJurjo, Daniel; Morales, José F.; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V.capítulo de libro