Publications

Embracing the Algol Effort in Czechoslovakia

H. Durnova, Embracing the Algol Effort in Czechoslovakia, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014.

A Vindication of Program Verification

S. Bringsjord, A Vindication of Program Verification, History and Philosophy of Logic, pp. 1-16, 2015.

Kalmar and Peter: Undecidability as a Consequence of Incompleteness

M. Szabo, Kalmar and Peter: Undecidability as a Consequence of Incompleteness, Computability in Europe, vol. Beckmann, Mitrana, and Soskova (eds) - Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.

Pages