Computers - Computer Science

Analysis Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Pedro Lopez-Garcia