Publications

Export 4 results:
Filters: Author is Sernadas, Amilcar  [Clear All Filters]
2017
Mateus, P., A. Sernadas, and A. Souto, "Universality of quantum Turing machines with deterministic control", Journal of Logic and Computation, vol. 27, no. 1: Oxford University Press, pp. 1–19, 2017.
2007
Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.