The following pages link to Carlos A. Romero-Díaz (Q2808237):
Displayed 5 items.
- Qualified Logic Programming with Bivalued Predicates (Q2808238) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
- A Transformation-based implementation for CLP with qualification and proximity (Q5410260) (← links)
- Quantitative Logic Programming Revisited (Q5458442) (← links)