A theoretical framework for the higher-order cooperation of numeric constraint domains

  1. Del Vado Vírseda, R.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2011

Ausgabe: 269

Nummer: 1

Seiten: 55-69

Art: Konferenz-Beitrag

DOI: 10.1016/J.ENTCS.2011.03.005 GOOGLE SCHOLAR lock_openOpen Access editor