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.
Permissive-nominal logic: First-order logic over nominal terms and sets [link]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