Publications

Export 2 results:
Filters: Keyword is QPL  [Clear All Filters]
2006
D'Hondt, E., and P. Panangaden, "Quantum weakest preconditions", Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 1–23, 2006.
2005
D'Hondt, E., and P. Panangaden, "Reasoning about quantum knowledge", Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 3821: Springer Berlin / Heidelberg, pp. 553–564, 2005.