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

Gilles Dowek, Murdoch J. Gabbay

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
Original languageEnglish
Article number20
Pages (from-to)1-36
JournalACM Transactions on Computational Logic
Volume13
Issue number3
DOIs
Publication statusPublished - 1 Aug 2012

Cite this