On Resolution Like Proofs of Monotone Self-Dual Functions. Gaur, D. R. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014, 2014. Paper bibtex @inproceedings{DBLP:conf/isaim/Gaur14,
author = {Daya Ram Gaur},
title = {On Resolution Like Proofs of Monotone Self-Dual Functions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2014, Fort Lauderdale, FL, USA, January 6-8, 2014},
year = {2014},
crossref = {DBLP:conf/isaim/2014},
url = {http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\_Boolean\_Gaur.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Gaur14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"odvucfCkeuuvmNFAn","bibbaseid":"gaur-onresolutionlikeproofsofmonotoneselfdualfunctions-2014","downloads":0,"creationDate":"2016-08-24T20:52:54.191Z","title":"On Resolution Like Proofs of Monotone Self-Dual Functions","author_short":["Gaur, D. R."],"year":2014,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/g/Gaur:Daya_Ram","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daya","Ram"],"propositions":[],"lastnames":["Gaur"],"suffixes":[]}],"title":"On Resolution Like Proofs of Monotone Self-Dual Functions","booktitle":"International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014","year":"2014","crossref":"DBLP:conf/isaim/2014","url":"http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\\_Boolean\\_Gaur.pdf","timestamp":"Wed, 20 Mar 2024 17:48:47 +0100","biburl":"https://dblp.org/rec/conf/isaim/Gaur14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isaim/Gaur14,\n author = {Daya Ram Gaur},\n title = {On Resolution Like Proofs of Monotone Self-Dual Functions},\n booktitle = {International Symposium on Artificial Intelligence and Mathematics,\n {ISAIM} 2014, Fort Lauderdale, FL, USA, January 6-8, 2014},\n year = {2014},\n crossref = {DBLP:conf/isaim/2014},\n url = {http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\\_Boolean\\_Gaur.pdf},\n timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},\n biburl = {https://dblp.org/rec/conf/isaim/Gaur14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gaur, D. R."],"key":"DBLP:conf/isaim/Gaur14","id":"DBLP:conf/isaim/Gaur14","bibbaseid":"gaur-onresolutionlikeproofsofmonotoneselfdualfunctions-2014","role":"author","urls":{"Paper":"http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\\_Boolean\\_Gaur.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["resolution","proofs","monotone","self","dual","functions","gaur"],"keywords":[],"authorIDs":["57be0926fd16738355000363","HiHRsFeBaar8hQcQN"],"dataSources":["6KSR2XyXpaCaax7xB","2TigJPtkhiTZTdv98"]}