Lopez-Garcia, Pedro.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
(Electronic resources)
Logic-based program synthesis and transformation26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(1998 :); Hermenegildo, Manuel V.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Declarative programming.
Computer Science.
Computer science.