Julio Mariño

Available identifiers

zbMath Open marino.julioMaRDI QIDQ511022

List of research outcomes

Publication	Date of Publication	Type
A formal semantics for agent distribution and fault tolerance in Jason	2023-06-19	Paper
Constraint logic programming with a relational machine	2017-02-14	Paper
Declarative Compilation for Constraint Logic Programming	2015-10-02	Paper
Synthesis of Logic Programs from Object-Oriented Formal Specifications	2012-08-29	Paper
First-order unification using variable-free relational algebra	2012-06-08	Paper
Implementing constructive intensional negation	2009-09-03	Paper
Functional and Logic Programming	2007-09-25	Paper
Demand analysis with partial predicates	2007-03-23	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: Julio Mariño