maria-alpuente documents

Incremental constraint satisfaction for equational logic programming
Documents Incremental constraint satisfaction for equational logic programming
Abstract Model Checking of tccp programs
Documents Abstract Model Checking of tccp programs
Order-Sorted Generalization
Documents Order-Sorted Generalization
Analyses of unsatisfiability for equational logic programming
Documents Analyses of unsatisfiability for equational logic programming
A Visual Technique for Web Pages Comparison
Documents A Visual Technique for Web Pages Comparison
Rules + strategies for transforming lazy functional logic programs
Documents Rules + strategies for transforming lazy functional logic programs
A semantic framework for the abstract model checking of tccp programs
Documents A semantic framework for the abstract model checking of tccp programs
Termination of narrowing revisited
Documents Termination of narrowing revisited
Redundancy of Arguments Reduced to Induction
Documents Redundancy of Arguments Reduced to Induction