59 results on '"Caballero, Rafael"'
Search Results
2. Love and Hate During Political Campaigns in Social Networks
3. Aerial Robotic System for Complete Bridge Inspections
4. Contributors
5. Electrochemical methods assisted with ALD for the synthesis of nanowires
6. Debugging Meets Testing in Erlang
7. Checking Java Assertions Using Automated Test-Case Generation
8. EDD: A Declarative Debugger for Sequential Erlang Programs
9. 2 - Electrochemical methods assisted with ALD for the synthesis of nanowires
10. A Declarative Debugger for Sequential Erlang Programs
11. Internet Astrometry
12. Declarative Debugging of Wrong and Missing Answers for SQL Views
13. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
14. Algorithmic Debugging of SQL Views
15. A Declarative Embedding of XQuery in a Functional-Logic Language
16. XQuery in the Functional-Logic Language Toy
17. A Deductive Database with Datalog and SQL Query Languages
18. Integrating XPath with the Functional-Logic Language Toy
19. Applying Constraint Logic Programming to SQL Test Case Generation
20. Using a Gradient Based Method to Seed an EMO Algorithm
21. Declarative Debugging of Rewriting Logic Specifications
22. Qualified Computations in Functional Logic Programming
23. On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems
24. Declarative Debugging of Membership Equational Logic Specifications
25. Rough Sets Theory for Multi-Objective Optimization Problems
26. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
27. Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
28. Comparative Typology in Six European Low‐Intensity Systems of Grassland Management
29. $\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages
30. Dynamic-Cut with Definitional Trees
31. Using Interactive Multiple Objective Methods to Determine the Budget Assignment to the Hospitals of a Sanitary System
32. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
33. Portfolio Selection Via Goal Programming
34. Extensions: A Technique for Structuring Functional-Logic Programs
35. A Functional-Logic Perspective of Parsing
36. The Static Approach to Quadratic Dynamic Goal Programming
37. An Algorithmic Package for the Resolution and Analysis of Convex Multiple Objective Problems
38. Introduction
39. Debugging Meets Testing in Erlang.
40. A Declarative Debugger for Maude
41. Checking Java Assertions Using Automated Test-Case Generation.
42. EDD: A Declarative Debugger for Sequential Erlang Programs.
43. A Declarative Debugger for Sequential Erlang Programs.
44. Internet Astrometry.
45. Declarative Debugging of Wrong and Missing Answers for SQL Views.
46. Algorithmic Debugging of SQL Views.
47. A Declarative Embedding of XQuery in a Functional-Logic Language.
48. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.
49. Integrating XPath with the Functional-Logic Language Toy.
50. Declarative Debugging of Rewriting Logic Specifications.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.