Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (KAR id:37621)
|
PDF
Language: English |
|
|
Download (315kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
Abstract
Proofs of the mathematical foundations and propositions and theorems stated and used in our paper in the TPLP Special Issue on ICLP 2011.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Subjects: | A General Works |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Andy King |
| Date Deposited: | 13 Dec 2013 15:14 UTC |
| Last Modified: | 16 Nov 2021 10:14 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/37621 (The current URI for this page, for reference purposes) |
| King, Andy: |  https://orcid.org/0000-0001-5806-4822 |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
