Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)
Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Manuel V. Hermenegildo, José F. Morales
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  • DJVU
  • English
  • Year: 2005
  • Author: Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2023
  • Author: Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2010
  • Author: Gilles Barthe, Manuel Hermenegildo
Prolog: The Next 50 Year
  • PDF
  • English
  • Year: 2023
  • Author: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
search