25 results on '"reduction order"'
Search Results
2. 依存対手法の簡約順序への再定式化
Catalog
Books, media, physical & digital resources
3. Complexity Analysis by Rewriting
4. Quantified Invariant Generation Using an Interpolating Saturation Prover
5. The Hydra Battle Revisited
6. Iterative Lexicographic Path Orders
7. Reasoning About Deterministic Concurrent Functional I/O
8. Resource Control for Synchronous Cooperative Threads
9. Relativistic Quantum Theory with a Physical State Vector and Hypothetical Laws of Reduction
10. Fisher Discriminant Analysis
11. Fisher Discriminant Analysis
12. Results and Discussion
13. Gröbner Bases, an Introduction
14. Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
15. On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems
16. Meta-interpretation
17. Transforming termination by self-labelling
18. Completion and Reduction Orders (Invited Talk)
19. Parallel graph rewriting on loosely coupled machine architectures
20. A unified ordering for termination proving.
21. Certifying the Weighted Path Order (Invited Talk)
22. Completion and Reduction Orders (Invited Talk)
23. Certifying the Weighted Path Order (Invited Talk)
24. Generalizations of Grauert's direct image theorem
25. Linear-Time Self-Interpretation of the Pure Lambda Calculus
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.