Permissive-nominal logic: First-order logic over nominal terms and sets. Dowek, G. & Gabbay, M. J. ACM Trans. Comput. Log., 13(3):20:1–20:36, 2012.
Paper doi bibtex @article{DBLP:journals/tocl/DowekG12,
author = {Gilles Dowek and
Murdoch James Gabbay},
title = {Permissive-nominal logic: First-order logic over nominal terms and
sets},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {20:1--20:36},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287720},
doi = {10.1145/2287718.2287720},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DowekG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"JbyYSoRCHhpWnQFr6","bibbaseid":"dowek-gabbay-permissivenominallogicfirstorderlogicovernominaltermsandsets-2012","authorIDs":[],"author_short":["Dowek, G.","Gabbay, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Dowek"],"suffixes":[]},{"firstnames":["Murdoch","James"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"title":"Permissive-nominal logic: First-order logic over nominal terms and sets","journal":"ACM Trans. Comput. Log.","volume":"13","number":"3","pages":"20:1–20:36","year":"2012","url":"https://doi.org/10.1145/2287718.2287720","doi":"10.1145/2287718.2287720","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/DowekG12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/DowekG12,\n author = {Gilles Dowek and\n Murdoch James Gabbay},\n title = {Permissive-nominal logic: First-order logic over nominal terms and\n sets},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {13},\n number = {3},\n pages = {20:1--20:36},\n year = {2012},\n url = {https://doi.org/10.1145/2287718.2287720},\n doi = {10.1145/2287718.2287720},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/DowekG12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dowek, G.","Gabbay, M. J."],"key":"DBLP:journals/tocl/DowekG12","id":"DBLP:journals/tocl/DowekG12","bibbaseid":"dowek-gabbay-permissivenominallogicfirstorderlogicovernominaltermsandsets-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2287718.2287720"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.212Z","downloads":0,"keywords":[],"search_terms":["permissive","nominal","logic","first","order","logic","over","nominal","terms","sets","dowek","gabbay"],"title":"Permissive-nominal logic: First-order logic over nominal terms and sets","year":2012,"dataSources":["8fz3gw22LB3CpDrfB"]}