( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Protocol for Generalized occam.

. Softw. Pract. Exp., 16 (9): 783-799 (1986)

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.

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Jenisch

Richard Moritz

Richard Hauser

Richard Löblich

 

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

Animating Formal Proof at the Surface: The Jape Proof Calculator., и . Comput. J., 42 (3): 177-192 (1999)Finding Blobs of Writing in the FORTRAN Coding-Sheets Project., и . AISB (ECAI), стр. 47-55. (1976)A Protocol for Generalized occam.. Softw. Pract. Exp., 16 (9): 783-799 (1986)Proving Pointer Programs in Hoare Logic.. MPC, том 1837 из Lecture Notes in Computer Science, стр. 102-126. Springer, (2000)Parallelizing Imperative Functional Programs: the Vectorization Monad., , и . J. Symb. Comput., 21 (4): 561-576 (1996)Does AI Programming really have to be like knitting with Spaghetti?, и . AISB (ECAI), стр. 56-62. (1976)Variables as Resource in Hoare Logics., , и . LICS, стр. 137-146. IEEE Computer Society, (2006)Computer tools to teach formal reasoning., , , , и . Comput. Educ., 27 (1): 59-69 (1996)Program logic and equivalence in the presence of garbage collection., , и . Theor. Comput. Sci., 298 (3): 557-581 (2003)A Minimal Graphical User Interface for the Jape Proof Calculator., и . Formal Aspects Comput., 11 (3): 244-271 (1999)