( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
08061 Abstracts Collection -- Types, Logics and Semantics for State.

, , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Gerhard Nick

Gernot Nick

Achim Nick

Nick Acker

 

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

Semantics of an effect analysis for exceptions., и . TLDI, стр. 15-26. ACM, (2007)Abstract Effects and Proof-Relevant Logical Relations, , и . CoRR, (2012)High-level separation logic for low-level code., , и . POPL, стр. 301-314. ACM, (2013)Interlanguage Working Without Tears: Blending SML with Java., и . ICFP, стр. 126-137. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Compiling Standard ML to Java Bytecodes., , и . ICFP, стр. 129-140. ACM, (1998)SIGPLAN Notices 34(1), January 1999.A semantic model for graphical user interfaces., и . ICFP, стр. 45-57. ACM, (2011)Modern Concurrency Abstractions for C\#, , и . ACM Trans. Program. Lang. Syst., 26 (5): 769--804 (сентября 2004)Effect-dependent transformations for concurrent programs., , и . PPDP, стр. 188-201. ACM, (2016)08061 Abstracts Collection -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)08061 Executive Summary -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)