Emilio Jesús Gallego Arias

From MaRDI portal
Revision as of 08:01, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:511020

Available identifiers

zbMath Open gallego-arias.emilio-jesusMaRDI QIDQ511020

List of research outcomes





PublicationDate of PublicationType
Certified Graph View Maintenance with Regular Datalog2018-12-04Paper
Constraint logic programming with a relational machine2017-02-14Paper
Computer-Aided Verification for Mechanism Design2017-02-10Paper
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy2016-09-29Paper
Declarative Compilation for Constraint Logic Programming2015-10-02Paper
Logic Programming in Tabular Allegories2014-02-25Paper
A Proposal for Disequality Constraints in Curry2014-01-24Paper
First-order unification using variable-free relational algebra2012-06-08Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:511020&oldid=6911291"
Powered by MediaWiki