Searching for "Trailing Analysis for HAL." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Trailing Analysis for HAL
- …Trailing Analysis for HAL Tom Schrijvers 1 , Maria Garca de la Banda 2 and Bart Demoen 1 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Combining an improvement to PARMA trailing with analysis in HAL
- …Combining an improvement to PARMA trailing with analysis in HAL Tom Schrijvers Dept. of Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
and LOgic Programming Systems
- … an improvement to PARMA trailing with analysis in HAL 1 Tom Schrijvers WAM Local Analysis 13 Michel Ferreira…
- Add To MetaCart
-
Improving PARMA trailing
- … that lower the cost. First, we introduce a trailing analysis for HAL using the classic PARMA trailing scheme…
- Add To MetaCart
Showing 1 through 4.
