[<<][compsci][>>][..]
Sat Mar 24 16:50:17 CET 2012

Relational, Logic, Constraint: CTM

Logic is Relational w. inference (composite relations)
Constraint is Relational w. fundeps + conversion to functional.

Better way? See CTM.



[Reply][About]
[<<][compsci][>>][..]