Sequent calculi for induction and infinite descent von Brotherston, J., Simpson, A.

Volltext

Cyclic Proofs for First-Order Logic with Inductive Definitions von Brotherston, James

Volltext

Progestogen only contraception and venous thromboembolism - is accepted clinical practice at odds with manufacturer's guidance? von Brotherston, J

Volltext

Complete Sequent Calculi for Induction and Infinite Descent von Brotherston, J., Simpson, A.

Volltext

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof von Tellez, G, Brotherston, J

Volltext bestellen

On the Complexity of Pointer Arithmetic in Separation Logic von Brotherston, J, Kanovich, M

Volltext bestellen

Automatically verifying temporal properties of pointer programs with cyclic proof von Tellez, G, Brotherston, J

Volltext bestellen

A Compositional Deadlock Detector for Android Java von Brotherston, J, Brunet, P, Gorogiannis, N, Kanovich, M

Volltext bestellen

Automatic cyclic termination proofs for recursive procedures in separation logic von Rowe, RNS, Brotherston, J

Volltext bestellen

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent von Rowe, RNS, Brotherston, J

Volltext bestellen

A formalised first-order confluence proof for the λ-calculus using one-sorted variable names von Vestergaard, René, Brotherston, James

Volltext

Disproving Inductive Entailments in Separation Logic via Base Pair Approximation von Brotherston, J, Gorogiannis, N

Volltext bestellen

Reasoning over Permissions Regions in Concurrent Separation Logic von Brotherston, J, Costa, D, Hobor, A, Wickerson, J

Volltext bestellen

General Practice on a New Housing Estate von Brotherston, J. H. F., Chave, S. P. W., Cledwyn-Davies, A., Hunter, A. S., Lindsay, D. A., Scott, A., Thomson, C. B., Trimmer, E. J.

Volltext

Sub-classical Boolean Bunched Logics and the Meaning of Par von Brotherston, J, Villard, J

Volltext bestellen

Undecidability of Propositional Separation Logic and Its Neighbours von Brotherston, J, Kanovich, M

Volltext bestellen

Parametric completeness for separation theories von Brotherston, J, Villard, J

Volltext bestellen

Biabduction (and related problems) in array separation logic von Brotherston, J, Kanovich, M, Gorogiannis, N

Volltext bestellen

Cyclic abduction of inductively defined safety and termination preconditions von Brotherston, J, Gorogiannis, N

Volltext bestellen

Reorganizing the British National Health Service von Brotherston, J

Volltext