next up previous
Next: Interacting with CLP() (I) Up: Adding Computation Domains: CLP Previous: Datalog

Linear (Dis)Equations: CLP($\Re$)



Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>