Publication
-
January 2014
-
January 2014
-
Logic, Languages and Programming Presentation
January 2014 -
Logic in Action Book
January 2014
-
Epistemic Probability Logic Simplified Book Chapter
January 2014 -
Formal Approaches to Social Procedures Book Chapter
January 2014 -
Dynamic Epistemic Logics Book Chapter
January 2014 -
Rational approximations and quantum algorithms with postselection Article
Quantum Information and Computation, 15(3&4), 297-309.January 2014