Gilles Dowek, Murdoch James Gabbay. Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 104-118, CEUR-WS.org, 2012. [doi]
@inproceedings{DowekG12-0,
title = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits},
author = {Gilles Dowek and Murdoch James Gabbay},
year = {2012},
url = {http://ceur-ws.org/Vol-857/paper_f08.pdf},
researchr = {https://researchr.org/publication/DowekG12-0},
cites = {0},
citedby = {0},
pages = {104-118},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012},
editor = {Francesca A. Lisi},
volume = {857},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}