Search

Your search keyword '"reduction order"' showing total 18 results

Search Constraints

Start Over You searched for: Descriptor "reduction order" Remove constraint Descriptor: "reduction order" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
18 results on '"reduction order"'

Search Results

1. A New and Formalized Proof of Abstract Completion

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

9. Fisher Discriminant Analysis

10. Fisher Discriminant Analysis

11. Results and Discussion

12. Gröbner Bases, an Introduction

15. Meta-interpretation

16. Transforming termination by self-labelling

Catalog

Books, media, physical & digital resources