Skip to content

A Category-Based Equational Logic Semantics to Constraint Programming.

Razvan Diaconescu

Year1995
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.