Search

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

Search Constraints

Start Over You searched for: Descriptor "reduction order" Remove constraint Descriptor: "reduction order" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
24 results on '"reduction order"'

Search Results

1. A New and Formalized Proof of Abstract Completion

2. 依存対手法の簡約順序への再定式化

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

10. Fisher Discriminant Analysis

11. Fisher Discriminant Analysis

12. Results and Discussion

13. Gröbner Bases, an Introduction

16. Meta-interpretation

17. Transforming termination by self-labelling

18. Completion and Reduction Orders (Invited Talk)

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)

Catalog

Books, media, physical & digital resources