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.

 

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

An Analysis of ML Typability., , и . J. ACM, 41 (2): 368-398 (1994)Regulatory Network Reconstruction Using Stochastic Logical Networks., и . CMSB, том 4210 из Lecture Notes in Computer Science, стр. 142-154. Springer, (2006)Type Reconstruction in the Presence of Polymorphic Recursion., , и . ACM Trans. Program. Lang. Syst., 15 (2): 290-311 (1993)A Sequent Calculus for Subtyping Polymorphic Types.. MFCS, том 1113 из Lecture Notes in Computer Science, стр. 135-155. Springer, (1996)On the Power of Nondeterminism in Dynamic Logic., , и . ICALP, том 140 из Lecture Notes in Computer Science, стр. 48-60. Springer, (1982)A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution., и . J. Comput. Biol., 20 (9): 631-642 (2013)Bioinformatics and Computational Biology in Poland., и . PLoS Comput. Biol., (2013)Logic of effective definitions.. Fundam. Informaticae, 4 (3): 629-660 (1981)Floyds Principle, Correctness Theories and Program Equivalence., , и . Theor. Comput. Sci., (1982)Some Relationships Between Logics of Programs and Complexity Theory., и . Theor. Comput. Sci., (1988)