Monodic Fragments of Probabilistic First-order Logic (bibtex)

by Jean Christoph Jung, Carsten Lutz, Sergey Goncharov and Lutz Schröder

Reference:

Jean Christoph Jung, Carsten Lutz, Sergey Goncharov and Lutz Schröder: Monodic Fragments of Probabilistic First-order Logic, In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.: Proc. 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014, Lecture Notes in Computer Science, vol. 8573, pp. 256–267, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_22.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{JungEA14,
  author = {Jean Christoph Jung and Carsten Lutz and Sergey Goncharov and Lutz Schr{\"o}der},
  title = {Monodic Fragments of Probabilistic First-order Logic},
  booktitle = {Proc. 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014},
  year = {2014},
  publisher = {Springer},
  year={2014},
  volume={8573},
  series={Lecture Notes in Computer Science},
  editor={Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
  pages={256-267},
  doi  = {10.1007/978-3-662-43951-7_22},
  comment = { <a href = "http://www.informatik.uni-bremen.de/tdki/research/papers/2014/JLGS-ICALP14.pdf"> [preprint] </a>},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-43951-7_22">http://dx.doi.org/10.1007/978-3-662-43951-7_22</a>.},  
}