Search

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

Search Constraints

Start Over You searched for: Descriptor "reduction order" Remove constraint Descriptor: "reduction order" Publisher elsevier b.v. Remove constraint Publisher: elsevier b.v.
1 results on '"reduction order"'

Search Results

1. A unified ordering for termination proving.

Catalog

Books, media, physical & digital resources