@inproceedings{DBLP:conf/cilc/DowekG12,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  editor    = {Francesca A. Lisi},
  title     = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers,
               and Limits},
  booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {857},
  pages     = {104--118},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-857/paper\_f08.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:22 +0100},
  biburl    = {https://dblp.org/rec/conf/cilc/DowekG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fvh45bJnQTkqCKmmm","bibbaseid":"dowek-gabbay-nominalsemanticsforpredicatelogicalgebrassubstitutionquantifiersandlimits-2012","authorIDs":[],"author_short":["Dowek, G.","Gabbay, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Dowek"],"suffixes":[]},{"firstnames":["Murdoch","James"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"editor":[{"firstnames":["Francesca","A."],"propositions":[],"lastnames":["Lisi"],"suffixes":[]}],"title":"Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits","booktitle":"Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012","series":"CEUR Workshop Proceedings","volume":"857","pages":"104–118","publisher":"CEUR-WS.org","year":"2012","url":"http://ceur-ws.org/Vol-857/paper_f08.pdf","timestamp":"Wed, 12 Feb 2020 16:44:22 +0100","biburl":"https://dblp.org/rec/conf/cilc/DowekG12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cilc/DowekG12,\n author = {Gilles Dowek and\n Murdoch James Gabbay},\n editor = {Francesca A. Lisi},\n title = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers,\n and Limits},\n booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,\n Rome, Italy, June 6-7, 2012},\n series = {{CEUR} Workshop Proceedings},\n volume = {857},\n pages = {104--118},\n publisher = {CEUR-WS.org},\n year = {2012},\n url = {http://ceur-ws.org/Vol-857/paper\\_f08.pdf},\n timestamp = {Wed, 12 Feb 2020 16:44:22 +0100},\n biburl = {https://dblp.org/rec/conf/cilc/DowekG12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dowek, G.","Gabbay, M. J."],"editor_short":["Lisi, F. A."],"key":"DBLP:conf/cilc/DowekG12","id":"DBLP:conf/cilc/DowekG12","bibbaseid":"dowek-gabbay-nominalsemanticsforpredicatelogicalgebrassubstitutionquantifiersandlimits-2012","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-857/paper_f08.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.212Z","downloads":0,"keywords":[],"search_terms":["nominal","semantics","predicate","logic","algebras","substitution","quantifiers","limits","dowek","gabbay"],"title":"Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits","year":2012,"dataSources":["8fz3gw22LB3CpDrfB"]}