Search the dblp DataBase

Publications of Author

1. Michael Gabbay, Murdoch Gabbay
   Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. [Citation Graph (0, 0)][DBLP]
   We Will Show Them! (1), 2005, pp:701-730 [Conf]
   
2. Murdoch Gabbay, Michael Gabbay
   a-logic. [Citation Graph (0, 0)][DBLP]
   We Will Show Them! (1), 2005, pp:731-764 [Conf]
   
3. Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
   SOS for Higher Order Processes. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:308-322 [Conf]
   
4. Christian Urban, Andrew M. Pitts, Murdoch Gabbay
   Nominal Unificaiton. [Citation Graph (0, 0)][DBLP]
   CSL, 2003, pp:513-527 [Conf]
   
5. Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
   FreshML: programming with binders made simple. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:263-274 [Conf]
   
6. Murdoch Gabbay, Aad Mathijssen
   Capture-Avoiding Substitution as a Nominal Algebra. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:198-212 [Conf]
   
7. Murdoch Gabbay, James Cheney
   A Sequent Calculus for Nominal Logic. [Citation Graph (0, 0)][DBLP]
   LICS, 2004, pp:139-148 [Conf]
   
8. Murdoch Gabbay, Andrew M. Pitts
   A New Approach to Abstract Syntax Involving Binders. [Citation Graph (0, 0)][DBLP]
   LICS, 1999, pp:214-224 [Conf]
   
9. Andrew M. Pitts, Murdoch Gabbay
   A Metalanguage for Programming with Bound Names Modulo Renaming. [Citation Graph (0, 0)][DBLP]
   MPC, 2000, pp:230-255 [Conf]
   
10. Murdoch Gabbay
    A new calculus of contexts. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:94-105 [Conf]
    
11. Murdoch Gabbay, Aad Mathijssen
    One-and-a-halfth-order logic. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:189-200 [Conf]
    
12. Maribel Fernández, Murdoch Gabbay
    Nominal rewriting with name generation: abstraction vs. locality. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:47-58 [Conf]
    
13. Maribel Fernández, Murdoch Gabbay, Ian Mackie
    Nominal rewriting systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:108-119 [Conf]
    
14. Murdoch Gabbay
    Hierarchical Nominal Terms and Their Theory of Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:37-52 [Journal]
    
15. Murdoch Gabbay, Andrew M. Pitts
    A New Approach to Abstract Syntax with Variable Binding. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:341-363 [Journal]
    
16. Murdoch Gabbay
    Fresh Logic: proof-theory and semantics for FM and nominal techniques. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:356-387 [Journal]
    
17. Christian Urban, Andrew M. Pitts, Murdoch Gabbay
    Nominal unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:473-497 [Journal]
    
18. Maribel Fernández, Murdoch Gabbay
    Curry-Style Types for Nominal Terms. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:125-139 [Conf]
    
19. Murdoch Gabbay, Aad Mathijssen
    A Formal Calculus for Informal Equality with Binding. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:162-176 [Conf]
    
20. Murdoch Gabbay
    A general mathematics of names. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:7, pp:982-1011 [Journal]
    
21. Maribel Fernández, Murdoch Gabbay
    Nominal rewriting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:6, pp:917-965 [Journal]
    
22. 
    Substitution for Fraenkel-Mostowski foundations. [Citation Graph (, )][DBLP]
    
    
23. 
    One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. [Citation Graph (, )][DBLP]
    
    
24. 
    The lambda-context Calculus. [Citation Graph (, )][DBLP]
    
    
25. 
    a-Logic With Arrows. [Citation Graph (, )][DBLP]