Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 4.

Article

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. The full text of this publication is not available from this repository.

Monograph

Kriener, Jael and King, Andy (2011) Appendix for RedAlert: Determinacy Inference for Prolog. Technical report. , Canterbury, CT1 7NF, UK The full text of this publication is not available from this repository.

Conference or workshop item

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Eleventh International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. The full text of this publication is not available from this repository.

This list was generated on Tue May 21 18:10:14 2013 BST.