Unity in nominal equational reasoning: The algebra of equality on nominal sets

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{aa163f5501014e5b90a6119bf31a1afd,

title = "Unity in nominal equational reasoning: The algebra of equality on nominal sets",

author = "Gabbay, \{Murdoch J.\}",

year = "2012",

month = jun,

day = "1",

doi = "10.1016/j.jal.2012.03.001",

language = "English",

volume = "10",

pages = "199--217",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Unity in nominal equational reasoning: The algebra of equality on nominal sets

AU - Gabbay, Murdoch J.

PY - 2012/6/1

Y1 - 2012/6/1

UR - https://www.scopus.com/pages/publications/84859430646

U2 - 10.1016/j.jal.2012.03.001

DO - 10.1016/j.jal.2012.03.001

M3 - Article

SN - 1570-8683

VL - 10

SP - 199

EP - 217

JO - Journal of Applied Logic

JF - Journal of Applied Logic

IS - 2

ER -