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

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

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 (PhD) 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

This list was generated on Wed Jul 9 12:58:19 2014 BST.