K. R. Apt

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Countable nondeterminism and random assignment

K. R. Apt and others (1982) · LITP, Université Paris 7

Fair termination revisited - with delay

K. R. Apt and others (1982) · Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore

A Cook's tour of countable nondeterminism

K. R. Apt and others (1981) · Automata, Languages and Programming (ICALP 1981) · Springer

Ten years of Hoare's logic, a survey

K. R. Apt (1979) · Proceedings of the 5th Scandinavian Logic Symposium · Aalborg University Press

Semantics and proof theory of pascal procedures

K. R. Apt and others (1977) · Springer Berlin Heidelberg