The following pages link to Mario Rodríguez Artalejo (Q236466):
Displaying 42 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- (Q1064045) (redirect page) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- (Q1110499) (redirect page) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- (Q2726286) (← links)
- (Q2762632) (← links)
- (Q2763637) (← links)
- (Q2766766) (← links)
- Qualified Logic Programming with Bivalued Predicates (Q2808238) (← links)
- A Declarative Debugging System for Lazy Functional Logic Programs (Q2841290) (← links)
- (Q2849854) (← links)
- A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming (Q2867959) (← links)
- 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> Schem (Q2873802) (← links)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP (Q3183129) (← links)
- (Q3476792) (← links)
- (Q3490935) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- (Q3696488) (← links)
- EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN (Q3937372) (← links)
- (Q3964533) (← links)
- Logic programming with functions and predicates: The language Babel (Q3992229) (← links)
- (Q4038667) (← links)
- (Q4202938) (← links)
- (Q4281598) (← links)
- (Q4283237) (← links)
- (Q4283239) (← links)
- (Q4452630) (← links)
- Constraint Logic Programming with Hereditary Harrop formulas (Q4452636) (← links)
- (Q4494367) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)
- (Q4940928) (← links)
- (Q4940936) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)
- Functional and Logic Programming (Q5308014) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
- A Transformation-based implementation for CLP with qualification and proximity (Q5410260) (← links)
- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (Q5449618) (← links)
- Quantitative Logic Programming Revisited (Q5458442) (← links)
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (Q5458444) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)