Jung JC, Lutz C, Goncharov S, Schröder L (2014)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2014
Publisher: Springer
Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Series: Lecture Notes in Computer Science
City/Town: Berlin/Heidelberg
Book Volume: 8573
Pages Range: 256-267
Conference Proceedings Title: Proc. 41st International Colloquium on Automata, Languages, and Programming
Event location: Kopenhagen
ISBN: 978-3-662-43951-7
URI: http://www.informatik.uni-bremen.de/tdki/research/papers/2014/JLGS-ICALP14.pdf
DOI: 10.1007/978-3-662-43951-7_22
By classical results of Abadi and Halpern, validity for probabilistic first-order logic of type 2 (ProbFO) is Π
APA:
Jung, J.C., Lutz, C., Goncharov, S., & Schröder, L. (2014). Monodic Fragments of Probabilistic First-order Logic. In Proc. 41st International Colloquium on Automata, Languages, and Programming (pp. 256-267). Kopenhagen: Berlin/Heidelberg: Springer.
MLA:
Jung, Jean Christoph, et al. "Monodic Fragments of Probabilistic First-order Logic." Proceedings of the ICALP 2014, Kopenhagen Berlin/Heidelberg: Springer, 2014. 256-267.
BibTeX: Download