Murdoch J. Gabbay (Heriot-Watt University)

Identifiers

• name variant Murdoch J. Gabbay (Heriot-Watt University) 0.60 · backfill

Papers (1)

1. Closed nominal rewriting and efficiently computable nominal algebra equality cs.LO · 2010 · author #2

Mentions

• 1009.2791 #2 · backfill · confidence 0.70 Murdoch J. Gabbay (Heriot-Watt University)

Frequent Coauthors

• Maribel Fern\'andez (King's College London) 1 shared papers