13 results on '"reduction order"'
Search Results
2. Quantified Invariant Generation Using an Interpolating Saturation Prover
3. The Hydra Battle Revisited
4. Iterative Lexicographic Path Orders
5. Reasoning About Deterministic Concurrent Functional I/O
6. Resource Control for Synchronous Cooperative Threads
7. Gröbner Bases, an Introduction
8. Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
9. On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems
10. Meta-interpretation
11. Transforming termination by self-labelling
12. Parallel graph rewriting on loosely coupled machine architectures
13. 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.