Murdoch J. Gabbay - Concepedia

Author

Murdoch J. Gabbay

Also Known As

Gabbay, Murdoch, Gabbay, Murdoch J., M. Gabbay, M. J. Gabbay, MURDOCH J. GABBAY, Murdoch Gabbay, Murdoch J Gabbay, Murdoch J. Gabbay, Murdoch James Gabbay

107

Publications

3.1K

Citations

H-Index

Concepts

All Affiliations

Heriot-Watt University University of Cambridge Eindhoven University of Technology École Polytechnique King's College London

About

Murdoch J. Gabbay is an author at Heriot-Watt University specializing in formal methods, automated reasoning, and semantics.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	19	1.1K
2	Language Studies	13	19	1.1K
3	Computer Science	10	10	699
4	Arts	1	1	13
5	Humanities	1	1	13

Murdoch J. Gabbay

Publications

2.3K

Citations

H-Index

Page 1

	Year	Citations
A New Approach to Abstract Syntax with Variable Binding Murdoch J. Gabbay, Andrew M. Pitts Formal Aspects of Computing	2002	544
A sequent calculus for nominal logic Murdoch J. Gabbay, James Cheney Logic in Computer Science Non-classical LogicSyntaxEngineeringAutomated ReasoningFresh Logic	2004	306
A new approach to abstract syntax involving binders Murdoch J. Gabbay, Andrew M. Pitts EngineeringType TheoryWell-founded SemanticsHigher-order LogicSemantics	2003	276
Nominal unification Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay Theoretical Computer Science	2004	201
FreshML Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay SyntaxEngineeringGeneric ProgrammingAutomated ReasoningProgram Analysis	2003	173
Nominal rewriting Maribel Fernández, Murdoch J. Gabbay Information and Computation	2006	113
Nominal (Universal) Algebra: Equational Logic with Names and Binding Murdoch J. Gabbay, Ahj Aad Mathijssen Journal of Logic and Computation	2009	76
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax Murdoch J. Gabbay Bulletin of Symbolic Logic EngineeringAbstract SyntaxAutomated ProofSemanticsSyntax	2011	55
Nominal rewriting systems Maribel Fernández, Murdoch J. Gabbay, Ian Mackie EngineeringHigher-order LogicSemanticsSemantic WebNominal Rewriting	2004	54
Capture-avoiding substitution as a nominal algebra Murdoch J. Gabbay, Aad Mathijssen Formal Aspects of Computing	2008	50

Page 1