Search the dblp DataBase

Publications of Author

1. James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
   Searching for Invariants Using Temporal Resolution. [Citation Graph (0, 0)][DBLP]
   LPAR, 2002, pp:86-101 [Conf]
   
2. René Vestergaard, James Brotherston
   A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. [Citation Graph (0, 0)][DBLP]
   RTA, 2001, pp:306-321 [Conf]
   
3. James Brotherston
   Cyclic Proofs for First-Order Logic with Inductive Definitions. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:78-92 [Conf]
   
4. René Vestergaard, James Brotherston
   A formalised first-order confluence proof for the -calculus using one-sorted variable names. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:212-244 [Journal]
   
5. René Vestergaard, James Brotherston
   The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
6. James Brotherston, Alex Simpson
   Complete Sequent Calculi for Induction and Infinite Descent. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:51-62 [Conf]
   
7. James Brotherston
   Formalised Inductive Reasoning in the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP]
   SAS, 2007, pp:87-103 [Conf]
   
8. 
   Undecidability of Propositional Separation Logic and Its Neighbours. [Citation Graph (, )][DBLP]
   
   
9. 
   Cyclic proofs of program termination in separation logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Classical BI: a logic for reasoning about dualising resources. [Citation Graph (, )][DBLP]
    
    
11. 
    Classical BI: Its Semantics and Proof Theory [Citation Graph (, )][DBLP]