Nominal (Universal) Algebra: Equational Logic with Names and Binding

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

Original language	English
Pages (from-to)	1455-1508
Journal	Journal of Logic and Computation
Volume	19
Issue number	6
DOIs	https://doi.org/10.1093/logcom/exp033
Publication status	Published - 1 Dec 2009

Access to Document

@article{77397927d94a4107b8014e6b58e78804,

title = "Nominal (Universal) Algebra: Equational Logic with Names and Binding",

author = "Gabbay, \{M. J.\} and A. Mathijssen",

year = "2009",

month = dec,

day = "1",

doi = "10.1093/logcom/exp033",

language = "English",

volume = "19",

pages = "1455--1508",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "6",

}