Emilio Jesús Gallego Arias

Available identifiers

zbMath Open gallego-arias.emilio-jesusMaRDI QIDQ511020

List of research outcomes

Publication	Date of Publication	Type
Certified Graph View Maintenance with Regular Datalog	2018-12-04	Paper
Constraint logic programming with a relational machine	2017-02-14	Paper
Computer-Aided Verification for Mechanism Design	2017-02-10	Paper
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy	2016-09-29	Paper
Declarative Compilation for Constraint Logic Programming	2015-10-02	Paper
Logic Programming in Tabular Allegories	2014-02-25	Paper
A Proposal for Disequality Constraints in Curry	2014-01-24	Paper
First-order unification using variable-free relational algebra	2012-06-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emilio Jesús Gallego Arias