@inproceedings{DBLP:conf/isda/RautKA17,
  author    = {Manoj K. Raut and
               Tushar V. Kokane and
               Rishabh Agarwal},
  editor    = {Ajith Abraham and
               Pranab Kumar Muhuri and
               Azah Kamilah Muda and
               Niketa Gandhi},
  title     = {Computing Theory Prime Implicates in Modal Logic},
  booktitle = {Intelligent Systems Design and Applications - 17th International Conference
               on Intelligent Systems Design and Applications {(ISDA} 2017) Held
               in Delhi, India, December 14-16, 2017},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {736},
  pages     = {273--282},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-76348-4\_27},
  doi       = {10.1007/978-3-319-76348-4\_27},
  timestamp = {Wed, 05 May 2021 12:03:29 +0200},
  biburl    = {https://dblp.org/rec/conf/isda/RautKA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2xSgj2CyhSpsFDiuq","bibbaseid":"raut-kokane-agarwal-computingtheoryprimeimplicatesinmodallogic-2017","author_short":["Raut, M. K.","Kokane, T. V.","Agarwal, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Manoj","K."],"propositions":[],"lastnames":["Raut"],"suffixes":[]},{"firstnames":["Tushar","V."],"propositions":[],"lastnames":["Kokane"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Agarwal"],"suffixes":[]}],"editor":[{"firstnames":["Ajith"],"propositions":[],"lastnames":["Abraham"],"suffixes":[]},{"firstnames":["Pranab","Kumar"],"propositions":[],"lastnames":["Muhuri"],"suffixes":[]},{"firstnames":["Azah","Kamilah"],"propositions":[],"lastnames":["Muda"],"suffixes":[]},{"firstnames":["Niketa"],"propositions":[],"lastnames":["Gandhi"],"suffixes":[]}],"title":"Computing Theory Prime Implicates in Modal Logic","booktitle":"Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017","series":"Advances in Intelligent Systems and Computing","volume":"736","pages":"273–282","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-76348-4_27","doi":"10.1007/978-3-319-76348-4_27","timestamp":"Wed, 05 May 2021 12:03:29 +0200","biburl":"https://dblp.org/rec/conf/isda/RautKA17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isda/RautKA17,\n author = {Manoj K. Raut and\n Tushar V. Kokane and\n Rishabh Agarwal},\n editor = {Ajith Abraham and\n Pranab Kumar Muhuri and\n Azah Kamilah Muda and\n Niketa Gandhi},\n title = {Computing Theory Prime Implicates in Modal Logic},\n booktitle = {Intelligent Systems Design and Applications - 17th International Conference\n on Intelligent Systems Design and Applications {(ISDA} 2017) Held\n in Delhi, India, December 14-16, 2017},\n series = {Advances in Intelligent Systems and Computing},\n volume = {736},\n pages = {273--282},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-76348-4\\_27},\n doi = {10.1007/978-3-319-76348-4\\_27},\n timestamp = {Wed, 05 May 2021 12:03:29 +0200},\n biburl = {https://dblp.org/rec/conf/isda/RautKA17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Raut, M. K.","Kokane, T. V.","Agarwal, R."],"editor_short":["Abraham, A.","Muhuri, P. K.","Muda, A. K.","Gandhi, N."],"key":"DBLP:conf/isda/RautKA17","id":"DBLP:conf/isda/RautKA17","bibbaseid":"raut-kokane-agarwal-computingtheoryprimeimplicatesinmodallogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-76348-4_27"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/210/6453.bib","dataSources":["zaWK5KkeoiPqWX9QC"],"keywords":[],"search_terms":["computing","theory","prime","implicates","modal","logic","raut","kokane","agarwal"],"title":"Computing Theory Prime Implicates in Modal Logic","year":2017}