18 results on '"reduction order"'
Search Results
2. Complexity Analysis by Rewriting
3. Quantified Invariant Generation Using an Interpolating Saturation Prover
4. The Hydra Battle Revisited
5. Iterative Lexicographic Path Orders
6. Reasoning About Deterministic Concurrent Functional I/O
7. Resource Control for Synchronous Cooperative Threads
8. Relativistic Quantum Theory with a Physical State Vector and Hypothetical Laws of Reduction
9. Fisher Discriminant Analysis
10. Fisher Discriminant Analysis
11. Results and Discussion
12. Gröbner Bases, an Introduction
13. Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
14. On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems
15. Meta-interpretation
16. Transforming termination by self-labelling
17. Parallel graph rewriting on loosely coupled machine architectures
18. Generalizations of Grauert's direct image theorem
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.