@inproceedings{DBLP:conf/icalp/JungLGS14,
  author    = {Jean Christoph Jung and
               Carsten Lutz and
               Sergey Goncharov and
               Lutz Schr{\"{o}}der},
  title     = {Monodic Fragments of Probabilistic First-Order Logic},
  booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
               {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
               {II}},
  pages     = {256--267},
  year      = {2014},
  crossref  = {DBLP:conf/icalp/2014-2},
  url       = {http://dx.doi.org/10.1007/978-3-662-43951-7_22},
  doi       = {10.1007/978-3-662-43951-7_22},
  timestamp = {Thu, 11 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/icalp/JungLGS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"w7xBa5EsxH8YRFg64","bibbaseid":"jung-lutz-goncharov-schrder-monodicfragmentsofprobabilisticfirstorderlogic-2014","downloads":0,"creationDate":"2016-11-07T11:06:40.353Z","title":"Monodic Fragments of Probabilistic First-Order Logic","author_short":["Jung, J. C.","Lutz, C.","Goncharov, S.","Schröder, L."],"year":2014,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/j/Jung:Jean_Christoph","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jean","Christoph"],"propositions":[],"lastnames":["Jung"],"suffixes":[]},{"firstnames":["Carsten"],"propositions":[],"lastnames":["Lutz"],"suffixes":[]},{"firstnames":["Sergey"],"propositions":[],"lastnames":["Goncharov"],"suffixes":[]},{"firstnames":["Lutz"],"propositions":[],"lastnames":["Schröder"],"suffixes":[]}],"title":"Monodic Fragments of Probabilistic First-Order Logic","booktitle":"Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II","pages":"256--267","year":"2014","crossref":"DBLP:conf/icalp/2014-2","url":"http://dx.doi.org/10.1007/978-3-662-43951-7_22","doi":"10.1007/978-3-662-43951-7_22","timestamp":"Thu, 11 Dec 2014 00:00:00 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/icalp/JungLGS14","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/icalp/JungLGS14,\n author = {Jean Christoph Jung and\n Carsten Lutz and\n Sergey Goncharov and\n Lutz Schr{\\\"{o}}der},\n title = {Monodic Fragments of Probabilistic First-Order Logic},\n booktitle = {Automata, Languages, and Programming - 41st International Colloquium,\n {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part\n {II}},\n pages = {256--267},\n year = {2014},\n crossref = {DBLP:conf/icalp/2014-2},\n url = {http://dx.doi.org/10.1007/978-3-662-43951-7_22},\n doi = {10.1007/978-3-662-43951-7_22},\n timestamp = {Thu, 11 Dec 2014 00:00:00 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/icalp/JungLGS14},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Jung, J. C.","Lutz, C.","Goncharov, S.","Schröder, L."],"key":"DBLP:conf/icalp/JungLGS14","id":"DBLP:conf/icalp/JungLGS14","bibbaseid":"jung-lutz-goncharov-schrder-monodicfragmentsofprobabilisticfirstorderlogic-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-662-43951-7_22"},"downloads":0},"search_terms":["monodic","fragments","probabilistic","first","order","logic","jung","lutz","goncharov","schröder"],"keywords":[],"authorIDs":[],"dataSources":["qkkGW9dSrz8kYYv2g"]}