28 results on '"Escobar, Santiago"'
Search Results
2. The Stock Market Effects of Committing and Setting GHG Targets: Evidence from the Science-Based Initiative
3. A partial evaluation methodology for optimizing rewrite theories incrementally
4. Safety Enforcement Via Programmable Strategies
5. Programming and symbolic computation in Maude
6. Do heterogeneous countries respond differently to oil price shocks?
7. Rewriting Logic and its Applications (extended selected papers from WRLA 2014)
8. Rewriting logic and its applications (extended selected papers from WRLA 2014)
9. Constrained narrowing for conditional equational theories modulo axioms
10. State space reduction in the Maude-NRL Protocol Analyzer
11. A modular order-sorted equational generalization algorithm
12. Functional and (Constraint) Logic Programming
13. Folding variant narrowing and optimal variant termination
14. Termination of narrowing revisited
15. Order-Sorted Generalization
16. Variant Narrowing and Equational Unification
17. Preface
18. Preface
19. Preface
20. Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
21. Narrowing and Rewriting Logic: from Foundations to Applications
22. A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties
23. On-demand Evaluation for Maude
24. New Evaluation Commands for Maude Within Full Maude
25. Correct and Complete (Positive) Strategy Annotations for OBJ
26. OnDemandOBJ
27. On-demand Evaluation by Program Transformation1 1Work partially supported by CICYT TIC2001-2705-C03-01 and MCYT grants HA2001-0059 and HU2001-0019.
28. Redundancy of Arguments Reduced to Induction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.