Search

Your search keyword '"Caballero, Rafael"' showing total 76 results

Search Constraints

Start Over You searched for: Author "Caballero, Rafael" Remove constraint Author: "Caballero, Rafael" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
76 results on '"Caballero, Rafael"'

Search Results

1. Aerial Robotic System for Complete Bridge Inspections

2. Love and Hate During Political Campaigns in Social Networks

3. Debugging Meets Testing in Erlang

4. Checking Java Assertions Using Automated Test-Case Generation

5. EDD: A Declarative Debugger for Sequential Erlang Programs

6. A Declarative Debugger for Sequential Erlang Programs

8. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

9. A Declarative Embedding of XQuery in a Functional-Logic Language

10. Declarative Debugging of Wrong and Missing Answers for SQL Views

11. Algorithmic Debugging of SQL Views

12. A Deductive Database with Datalog and SQL Query Languages

13. XQuery in the Functional-Logic Language Toy

14. Integrating XPath with the Functional-Logic Language Toy

15. Applying Constraint Logic Programming to SQL Test Case Generation

17. Declarative Debugging of Rewriting Logic Specifications

18. Qualified Computations in Functional Logic Programming

20. Declarative Debugging of Membership Equational Logic Specifications

21. On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems

22. A Declarative Debugger for Maude

23. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

26. Dynamic-Cut with Definitional Trees

28. Portfolio Selection Via Goal Programming

31. Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

34. Introduction

35. Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

Catalog

Books, media, physical & digital resources