A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets

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

Original language	English
Pages (from-to)	1159-1189
Journal	Theoretical Computer Science
Volume	410
Issue number	12-13
DOIs	https://doi.org/10.1016/j.tcs.2008.11.013
Publication status	Published - 17 Mar 2009

Access to Document

@article{7df986e5d0c241249674f7ade3249152,

title = "A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets",

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

year = "2009",

month = mar,

day = "17",

doi = "10.1016/j.tcs.2008.11.013",

language = "English",

volume = "410",

pages = "1159--1189",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "12-13",

}