Search

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

Search Constraints

Start Over You searched for: Descriptor "reduction order" Remove constraint Descriptor: "reduction order" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
13 results on '"reduction order"'

Search Results

1. Complexity Analysis by Rewriting

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

10. Meta-interpretation

11. Transforming termination by self-labelling

Catalog

Books, media, physical & digital resources