James Brotherston

	2011
15		James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen: Automated Cyclic Entailment Proofs in Separation Logic. CADE 2011: 131-146
14		James Brotherston, Rajeev Goré: Craig Interpolation in Displayable Logics. TABLEAUX 2011: 88-103
13		James Brotherston, Alex Simpson: Sequent calculi for induction and infinite descent. J. Log. Comput. 21(6): 1177-1216 (2011)
	2010
12		James Brotherston, Max I. Kanovich: Undecidability of Propositional Separation Logic and Its Neighbours. LICS 2010: 130-139
11		James Brotherston: A Unified Display Proof Theory for Bunched Logic. Electr. Notes Theor. Comput. Sci. 265: 197-211 (2010)
10		James Brotherston, Cristiano Calcagno: Classical BI: Its Semantics and Proof Theory Logical Methods in Computer Science 6(3): (2010)
	2009
9		James Brotherston, Cristiano Calcagno: Classical BI: a logic for reasoning about dualising resources. POPL 2009: 328-339
	2008
8		James Brotherston, Richard Bornat, Cristiano Calcagno: Cyclic proofs of program termination in separation logic. POPL 2008: 101-112
	2007
7		James Brotherston, Alex Simpson: Complete Sequent Calculi for Induction and Infinite Descent. LICS 2007: 51-62
6		James Brotherston: Formalised Inductive Reasoning in the Logic of Bunched Implications. SAS 2007: 87-103
	2005
5		James Brotherston: Cyclic Proofs for First-Order Logic with Inductive Definitions. TABLEAUX 2005: 78-92
	2003
4		René Vestergaard, James Brotherston: A formalised first-order confluence proof for the -calculus using one-sorted variable names. Inf. Comput. 183(2): 212-244 (2003)
	2002
3		James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
	2001
2		René Vestergaard, James Brotherston: A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. RTA 2001: 306-321
1		René Vestergaard, James Brotherston: The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective). Electr. Notes Theor. Comput. Sci. 58(1): 18-36 (2001)

Coauthor Index

1	Richard Bornat	[8]
2	Cristiano Calcagno	[8] [9] [10]
3	Anatoli Degtyarev	[3]
4	Dino Distefano	[15]
5	Michael Fisher	[3]
6	Rajeev Goré	[14]
7	Max I. Kanovich	[12]
8	Alexei Lisitsa	[3]
9	Rasmus Lerchedahl Petersen	[15]
10	Alex K. Simpson (Alex Simpson)	[7] [13]
11	René Vestergaard	[1] [2] [4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page