The following pages link to Emilio Jesús Gallego Arias (Q511020):
Displaying 8 items.
- Constraint logic programming with a relational machine (Q511023) (← links)
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (Q2819789) (← links)
- A Proposal for Disequality Constraints in Curry (Q2873806) (← links)
- First-order unification using variable-free relational algebra (Q2889575) (← links)
- Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
- Computer-Aided Verification for Mechanism Design (Q2959836) (← links)
- Certified Graph View Maintenance with Regular Datalog (Q4559800) (← links)
- Logic Programming in Tabular Allegories (Q5398071) (← links)
