Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Gabbay" ( http://dblp.L3S.de/Authors/Michael_Gabbay )

URL (Homepage):  http://www.kcl.ac.uk/schools/humanities/depts/philosophy/people/fellows/mgabbay.html  Author page on DBLP  Author page in RDF  Community of Michael Gabbay in ASPL-2

Publication years (Num. hits)
2005 (2) 2008 (2) 2009 (1) 2010 (2) 2011 (1)
Publication types (Num. hits)
article(4) inproceedings(4)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(2) We Will Show Them!(2) AISB Convention(1) J. Symb. Log.(1) LPAR (Dakar)(1) Studia Logica(1)
Authors
Michael Gabbay(8) Murdoch Gabbay(4) Murdoch James Gabbay(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Gabbay A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Gabbay A Formalist Philosophy of Mathematics Part I: Arithmetic. Search on Bibsonomy Studia Logica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Gabbay, Murdoch James Gabbay A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Gabbay, Murdoch James Gabbay Term Sequent Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Murdoch Gabbay, Michael Gabbay a-Logic With Arrows. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Murdoch Gabbay, Michael Gabbay Substitution for Fraenkel-Mostowski foundations. Search on Bibsonomy AISB Convention The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Gabbay, Murdoch Gabbay Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
1Murdoch Gabbay, Michael Gabbay a-logic. Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.