Search

Your search keyword '"Cabeza, Daniel"' showing total 22 results

Search Constraints

Start Over You searched for: Author "Cabeza, Daniel" Remove constraint Author: "Cabeza, Daniel" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
22 results on '"Cabeza, Daniel"'

Search Results

1. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems

2. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

3. A New Module System for Prolog

4. An Ordered Logic Program Solver

5. Solving Constraints on Sets of Spatial Objects

6. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics

7. Safe Programming with Pointers Through Stateful Views

8. Role-Based Declarative Synchronization for Reconfigurable Systems

9. Towards a More Practical Hybrid Probabilistic Logic Programming Framework

10. Character-Based Cladistics and Answer Set Programming

11. Specializing Narrowing for Timetable Generation: A Case Study

12. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization

13. Improved Fusion for Optimizing Generics

14. Type Class Directives

15. A Full Pattern-Based Paradigm for XML Query Processing

16. Improving Memory Usage in the BEAM

17. Functional Framework for Sound Synthesis

18. The Program Inverter LRinv and Its Structure

19. Solving Collaborative Fuzzy Agents Problems with CLP()

20. Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction

21. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes

22. Code Compression

Catalog

Books, media, physical & digital resources