Publications
Export 2 results:
Filters: First Letter Of Last Name is Q [Clear All Filters]
, “Partial Realization in Dynamic Justification Logic”, in Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings, 2011, vol. 6642, pp. 35-51.
, “Hybrid spectral transform diagrams”, in Proceedings of the International Conference on Information and Communications Security, 1997, vol. 1334, p. 251{–}255.