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: 12.

Article

Howe, J.M. (2001) Proof Search in Lax Logic. Mathematical Structures in Computer Science, 11 (4). pp. 573-588. ISSN 0960-1295. (Full text available)
[img]
Preview
[img]
Preview

Howe, J.M. and King, A. (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (Full text available)
[img]
Preview
[img]

Book section

Simon, A. and King, Andy and Howe, J.M. (2002) Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, M., ed. Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science, 2664 . Springer-Verlag, Berlin, pp. 71-89. ISBN 978-3-540-40438-5. (Full text available)
[img]
Preview

Howe, J.M. and King, A. (1999) Specialising Finite Domain Programs using Polyhedra. In: Bossi, A., ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 1817 . Springer-Verlag, pp. 118-135. ISBN 978-3-540-67628-7. (Full text available)
[img]
Preview

Monograph

Howe, J.M. (1999) Proof Search in Lax Logic. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Howe, J.M. (1998) A `Permutation-free' Calculus for Lax Logic. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Howe, J.M. (1996) Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Howe, J.M. (1997) Two Loop Detection Mechanisms: A Comparison. In: TABLEAUX'97, May 13-16, 1997, Pont A Mousson, France, . (Full text available)
[img] [img]
Preview

Thesis

Howe, J.M. (1998) Proof Search Issues in Some Non-Classical Logics. Doctor of Philosophy (Ph.D.) thesis, University of St Andrews. (Full text available)
[img] [img]
Preview

Research report (external)

Howe, J.M. and King, Andy (2002) Correctness of Set-Sharing with Linearity. University of Kent, School of Computing, Canterbury, 5 pp. (Full text available)
[img]
Preview

Howe, J.M. and King, Andy (2001) Widening BDDs. University of Kent, School of Computing, 9 pp. (Full text available)
[img]
Preview

Howe, J.M. and King, A. (1999) A Semantic Basis for Specialising Domain Constraints. University of Kent, School of Computing, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, 12 pp. (Full text available)
[img]
Preview

This list was generated on Thu Apr 17 22:36:05 2014 BST.