Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)

Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor), 3031314751, 9783031314759