No photo of Jamie Gabbay
  • EH14 4AS

    United Kingdom

20022018

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jamie Gabbay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 25 Article
  • 6 Conference contribution

Equivariant ZFA with Choice: a position paper

Gabbay, J., 12 Apr 2018, Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice. Jamnik, M., Koutsoukou-Argyraki, A., Ayers, E. & Mangla, C. (eds.). p. 39-40 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

The language of Stratified Sets is confluent and strongly normalising

Gabbay, M. J., 22 May 2018, In : Logical Methods in Computer Science. 14, 2, 12.

Research output: Contribution to journalArticle

Open Access
File
  • 12 Downloads (Pure)
    Open Access
    File
  • 3 Citations (Scopus)
    27 Downloads (Pure)

    Checking Overlaps of Nominal Rewriting Rules

    Ayala-Rincón, M., Fernández, M., Gabbay, J. & Rocha-Oliveira, A. C., 11 Jul 2016, In : Electronic Notes in Theoretical Computer Science. 323, p. 39-56 18 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 4 Citations (Scopus)
    75 Downloads (Pure)

    Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation

    Gabbay, J., Jun 2016, In : Journal of the ACM. 63, 3, 66 p., 25.

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)

    Prizes

    "most influential paper" of the PPDP'04 conference

    Gabbay, Jamie (Recipient), 2004

    Prize: Other distinction