Azorín : poeta puro

von López García, Pedro Ignacio
Veröffentlicht 2006

Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

Veröffentlicht 2017

Lo que lleva el Rey Gaspar : cuentos de Navidad

von Azorín
Veröffentlicht 2003

Tangos, jazz-bands y cupletistas : crónicas musicales, de Caruso a Cléo de Mérode

von Camba, Julio
Veröffentlicht 2016

Cuentos de música : Bécquer, Clarín, Baroja, Azorín, Orega Munilla y otros

Veröffentlicht 2015

Tangos, jazz-bands y cupletistas : crónicas musicales, de Caruso a Cléo de Mérode

von Camba, Julio
Veröffentlicht 2016

Azorín y la música

von López García, Pedro Ignacio
Veröffentlicht 2000

Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

Veröffentlicht 2023

An Integrated Approach to Assertion-Based Random Testing in Prolog

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Cost Analysis of Smart Contracts Via Parametric Resource Analysis

von Pérez, Victor
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

Towards Static Performance Guarantees for Programs with Run-Time Checks

von Klemen, Maximiliano
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)

Computing Abstract Distances in Logic Programs

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

A General Framework for Static Cost Analysis of Parallel Logic Programs

von Klemen, Maximiliano
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)