Carlos A. Romero-Díaz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Qualified logic programming with bivalued predicates Electronic Notes in Theoretical Computer Science	2016-05-20	Paper
A transformation-based implementation for CLP with qualification and proximity Theory and Practice of Logic Programming	2014-04-16	Paper
A declarative semantics for CLP with qualification and proximity Theory and Practice of Logic Programming	2010-08-19	Paper
Qualified Computations in Functional Logic Programming Logic Programming	2009-07-24	Paper
Quantitative Logic Programming Revisited Functional and Logic Programming	2008-04-11	Paper

Research outcomes over time

This page was built for person: Carlos A. Romero-Díaz