Searching for "Improving Termination Analysis of Active Rules with Priorities." – sorted by Relevance.
-
Improving Termination Analysis of Active Rules with Priorities
- Improving Termination Analysis of Active Rules with Priorities Alain Couchot Laboratoire Cedric
- Cited by 1 (0 self) – Add To MetaCart

