Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 5.

Article

Robbins, Ed, King, Andy, Howe, Jacob M. (2020) Backjumping is Exception Handling. Theory and Practice of Logic Programming, . pp. 1-20. ISSN 1471-0684. (doi:10.1017/S1471068420000435) (KAR id:82447)
[thumbnail of div-class-title-backjumping-is-exception-handling-div.pdf]
Preview
[thumbnail of main.pdf]
Preview
Benoy, Florence, King, Andy, Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (doi:10.1017/S1471068404002261) (KAR id:37639)
[thumbnail of content.pdf]
Preview
Howe, Jacob M., King, Andy (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. (doi:10.1017/S1471068402001497) (KAR id:37579)
[thumbnail of content.pdf]
Preview
King, Andy, Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (doi:10.1017/S1471068402001436) (KAR id:37580)
[thumbnail of content.pdf]
Preview
Smaus, Jan-Georg, Hill, Pat, King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (doi:10.1017/S1471068401001107) (KAR id:37581)
[thumbnail of content.pdf]
Preview
This list was generated on Thu Dec 2 02:22:53 2021 GMT.