Monodic Fragments of Probabilistic First-Order Logic.

Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schrder

Browse the full ICALP paper archive.