Mario Rodríguez Artalejo

Available identifiers

zbMath Open rodriguez-artalejo.marioWikidataQ102423375 ScholiaQ102423375MaRDI QIDQ236466

List of research outcomes

Publication	Date of Publication	Type
Lazy narrowing in a graph machine	2022-08-16	Paper
Qualified Logic Programming with Bivalued Predicates	2016-05-20	Paper
A Transformation-based implementation for CLP with qualification and proximity	2014-04-16	Paper
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Scheme	2014-01-24	Paper
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849854	2013-09-20	Paper
A Declarative Debugging System for Lazy Functional Logic Programs	2013-07-24	Paper
A declarative semantics for CLP with qualification and proximity	2010-08-19	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP	2009-10-19	Paper
Qualified Computations in Functional Logic Programming	2009-07-24	Paper
Quantitative Logic Programming Revisited	2008-04-11	Paper
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming	2008-04-11	Paper
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming	2008-03-11	Paper
Functional and Logic Programming	2007-09-25	Paper
A new generic scheme for functional logic programming with constraints	2007-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4452630	2004-03-01	Paper
Constraint Logic Programming with Hereditary Harrop formulas	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q2766766	2002-07-22	Paper
A declarative framework for object-oriented programming with genetic inheritance	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763637	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2762632	2002-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2726286	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4940928	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4940936	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4494367	2000-08-10	Paper
An approach to declarative programming based on a rewriting logic	1999-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4283237	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4283239	1994-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4281598	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4202938	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4038667	1993-05-18	Paper
Logic programming with functions and predicates: The language Babel	1992-08-13	Paper
Hoare's logic for nondeterministic regular programs: A nonstandard approach	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490935	1989-01-01	Paper
Some general incompleteness results for partial correctness logics	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476792	1987-01-01	Paper
Some questions about expressiveness and relative completeness in Hoare's logic	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696488	1985-01-01	Paper
EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3964533	1981-01-01	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: Mario Rodríguez Artalejo