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.

 

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

Electronic Purse Applet Certification: extended abstract., , , , , и . Workshop on Secure Architectures and Information Flow, том 32 из Electronic Notes in Theoretical Computer Science, стр. 14-25. Elsevier, (1999)SPRAC: A Software Engineering Environment., , и . STACS, том 247 из Lecture Notes in Computer Science, стр. 477-478. Springer, (1987)Programming Development with or without Coding., , , , , и . IFIP Congress, стр. 327-330. (1980)LF: langage de spécification de fonctions et de types de données en logique., , и . SPLT, (1982)An Extension to Linear Resolution with Selection Function., и . Inf. Process. Lett., 14 (4): 191-194 (1982)