Permissive-nominal logic: First-order logic over nominal terms and sets

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

Original language	English
Article number	20
Pages (from-to)	1-36
Journal	ACM Transactions on Computational Logic
Volume	13
Issue number	3
DOIs	https://doi.org/10.1145/2287718.2287720
Publication status	Published - 1 Aug 2012

Access to Document

@article{a1829f9a32a445939fc5190637672c46,

title = "Permissive-nominal logic: First-order logic over nominal terms and sets",

author = "Gilles Dowek and Gabbay, \{Murdoch J.\}",

year = "2012",

month = aug,

day = "1",

doi = "10.1145/2287718.2287720",

language = "English",

volume = "13",

pages = "1--36",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery",

number = "3",

}

TY - JOUR

T1 - Permissive-nominal logic

T2 - First-order logic over nominal terms and sets

AU - Dowek, Gilles

AU - Gabbay, Murdoch J.

PY - 2012/8/1

Y1 - 2012/8/1

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

U2 - 10.1145/2287718.2287720

DO - 10.1145/2287718.2287720

M3 - Article

SN - 1529-3785

VL - 13

SP - 1

EP - 36

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

IS - 3

M1 - 20

ER -