Login / Signup

A quantitative doxastic logic for probabilistic processes and applications to information-hiding.

Simon KramerCatuscia PalamidessiRoberto SegalaAndrea TurriniChristelle Braun
Published in: J. Appl. Non Class. Logics (2009)
Keyphrases