Navegación

Búsqueda

Búsqueda avanzada

Sesión 7. Constraints

Listado de artículos correspondientes a la sesión:

  1. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution (Trabajo de alto nivel)
    Joaquín Arias / Manuel Carro / 
  2. A type derivation system for Erlang (Trabajo en progreso)
    Francisco Javier López-Fraguas / Manuel Montenegro / Gorka Suárez-García / 
  3. Towards the Automatic Verification of QCSP tractability results (Trabajo en progreso)
    Alex Abuin / Hubie Chen / Montserrat Hermo / Paqui Lucio /