A Category-based Equational Logic Semantics to Constraint Programming (1996)

Cached

Download Links

by Razvan Diaconescu
Venue:IN MAGNE HAVERAAEN, OLAF OWE, AND OLE-JOHAN DAHL, EDITORS, RECENT TRENDS IN DATA TYPE SPECIFICATION
Citations:13 - 4 self