Skip to main content
Login
Admin
Dashboards
Help
Simple search
|
Advanced search
Home
Browse
Latest additions
Policies
Accessibility Statement
Browse by Publisher
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Multiline CSV (Staff)
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
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
)
Preview
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
)
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
)
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
)
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
)
Preview
This list was generated on
Sat Jan 23 02:26:24 2021 GMT
.