
Search the dblp DataBase
James Brotherston:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
Searching for Invariants Using Temporal Resolution. [Citation Graph (0, 0)][DBLP] LPAR, 2002, pp:86101 [Conf]
 René Vestergaard, James Brotherston
A Formalised FirstOrder Confluence Proof for the lambdaCalculus Using OneSorted Variable Names. [Citation Graph (0, 0)][DBLP] RTA, 2001, pp:306321 [Conf]
 James Brotherston
Cyclic Proofs for FirstOrder Logic with Inductive Definitions. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:7892 [Conf]
 René Vestergaard, James Brotherston
A formalised firstorder confluence proof for the calculus using onesorted variable names. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:183, n:2, pp:212244 [Journal]
 René Vestergaard, James Brotherston
The Mechanisation of BarendregtStyle Equational Proofs (the Residual Perspective). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp: [Journal]
 James Brotherston, Alex Simpson
Complete Sequent Calculi for Induction and Infinite Descent. [Citation Graph (0, 0)][DBLP] LICS, 2007, pp:5162 [Conf]
 James Brotherston
Formalised Inductive Reasoning in the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:87103 [Conf]
Undecidability of Propositional Separation Logic and Its Neighbours. [Citation Graph (, )][DBLP]
Cyclic proofs of program termination in separation logic. [Citation Graph (, )][DBLP]
Classical BI: a logic for reasoning about dualising resources. [Citation Graph (, )][DBLP]
Classical BI: Its Semantics and Proof Theory [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
