E-LIB Suche - Ergebnisse für: Lopez-Garcia, Pedro

1

Analysis, Verification and Transformation for Declarative P..

Lecture Notes in Computer Science, 13160

Lopez-Garcia, Pedro ; Gallagher, John P ; Giacobazzi, Roberto - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

2

Cluster analysis for the selection of potential discriminat..:

López-García, Pedro A. ; Argote, Denisse L.
Journal of Archaeological Science: Reports. 49 (2023) - p. 104022 , 2023

Link: https://doi.org/10.1016/..

3

Types, Modes and so Much More – The Prolog Way:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro. - p. 23-37 , 2023

Link: https://doi.org/10.1007/..

4

Some Thoughts on How to Teach Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro - p. 107-123 , 2023

Link: https://doi.org/10.1007/..

5

Transforming Big-Step to Small-Step Semantics Using Interpr..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Gallagher, John P. ; Hermenegildo, Manuel ; Morales, José. - p. 28-38 , 2023

Link: https://doi.org/10.1007/..

6

A Rule-Based Approach for Designing and Composing Abstract ..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Jurjo, Daniel ; Morales, José ; Lopez-Garcia, Pedro. - p. 80-98 , 2023

Link: https://doi.org/10.1007/..

7

Compounding process optimization for recycled materials usi..:

Lopez-Garcia, Pedro ; Barrenetxea, Xabier ; García-Arrieta, Sonia...
Procedia CIRP. 105 (2022) - p. 237-242 , 2022

Link: https://doi.org/10.1016/..

8

VeriFly: On-the-fly Assertion Checking via Incrementality:

SANCHEZ-ORDAZ, MIGUEL A. ; GARCIA-CONTRERAS, ISABEL ; PEREZ, VICTOR...
Theory and Practice of Logic Programming. 21 (2021) 6 - p. 768-784 , 2021

Link: https://doi.org/10.1017/..

9

The obsidian of la ferrería site: Local consumption and lon..:

López-García, Pedro A. ; Vidal-Aldana, Cinthya I. ; Gómez-Ambríz, Emmanuel A..
Journal of Archaeological Science: Reports. 38 (2021) - p. 103081 , 2021

Link: https://doi.org/10.1016/..

10

A hybrid optimizer based on backtracking search and differe..:

Kuyu, Yiğit Çağatay ; Onieva, Enrique ; Lopez-Garcia, Pedro
Journal of Experimental & Theoretical Artificial Intelligence. 34 (2021) 3 - p. 355-385 , 2021

Link: https://doi.org/10.1080/..

11

A General Framework for Static Cost Analysis of Parallel Lo..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John P... - p. 19-35 , 2020

Link: https://doi.org/10.1007/..

12

Cinnabar, hematite and gypsum presence in mural paintings i..:

Argote, Denisse L. ; Torres, Gloria ; Hernández-Padrón, Genoveva...
Journal of Archaeological Science: Reports. 32 (2020) - p. 102375 , 2020

Link: https://doi.org/10.1016/..

13

Cost Analysis of Smart Contracts Via Parametric Resource An..:

, In: Static Analysis; Lecture Notes in Computer Science,

Pérez, Víctor ; Klemen, Maximiliano ; López-García, Pedro.. - p. 7-31 , 2020

Link: https://doi.org/10.1007/..

14

An Integrated Approach to Assertion-Based Random Testing in..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Casso, Ignacio ; Morales, José F. ; López-García, Pedro. - p. 159-176 , 2020

Link: https://doi.org/10.1007/..

15

Computing Abstract Distances in Logic Programs:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Casso, Ignacio ; Morales, José F. ; López-García, Pedro.. - p. 57-72 , 2020

Link: https://doi.org/10.1007/..