From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

The early search for tractable ways of reasoning about programs. Annals of the History of Computing, IEEE, 25 (2): 26--49 (2003)Modelling vague places with knowledge from the Web, , , и . International Journal of Geographical Information Science, 22 (10): 1045-1065 (2008)Black tie optional: Modelling programming language concepts, , и . (2004)Dimensions of dynamic coalitions, , , , , , , и . (2006)Formal methods---selected historical references, и . UMCS-92-12-2. University of Manchester, (1992)An Early Program Proof by Alan Turing, и . Annals of the History of Computing, 6 (2): 139--143 (апреля 1984)