dblp.uni-trier.dewww.uni-trier.de

Michael Gabbay

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
4EEMurdoch Gabbay, Michael Gabbay: Substitution for Fraenkel-Mostowski foundations. AISB Convention 2008: 65-72
3EEMurdoch Gabbay, Michael Gabbay: a-Logic With Arrows. Electr. Notes Theor. Comput. Sci. 216: 3-29 (2008)
2005
2 Michael Gabbay, Murdoch Gabbay: Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. We Will Show Them! (1) 2005: 701-730
1 Murdoch Gabbay, Michael Gabbay: a-logic. We Will Show Them! (1) 2005: 731-764

Coauthor Index

1Murdoch James Gabbay (Murdoch Gabbay) [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)