|
|||||
|
|
Observable Semantics for Constraint Logic Programs |
|
| Authors: | GABBRIELLI, MAURIZIO DORE, GIOVANNA M. LEVI, GIORGIO |
| Affiliation: | Dipartimento di Informatica, Università di Pisa Corso Italia 40, 56125 Pisa, Italy E-mail: gabbri{at}di.unipi.it DS Logics Viale Silvani 1, 40122 Bologna, Italy E-mail: dore{at}bologics.dslogics.ddslogics.it Dipartimento di Informatica, Università di Pisa Corso Italia 40, 56125 Pisa, Italy E-mail: levi{at}di.unipi.it |
| Abstract: | |
| Keywords: | Constraints, logic programming, semantics. |
| 本文献已被 Oxford 等数据库收录！ | |