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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Book section

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 9783642298219. (Full text available)
[img]
Preview

Conference or workshop item

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York pp. 37-48. ISBN 9781450321549. (Full text available)
[img]
Preview

Robbins, Ed and King, Andy and Jacob, Howe (2013) Theory Propagation and Rational-Trees. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York pp. 193-204. ISBN 9781450321549. (Full text available)
[img]
Preview

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)

This list was generated on Thu Nov 27 17:17:41 2014 GMT.