( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.

, , и . RelMiCS, том 3929 из Lecture Notes in Computer Science, стр. 147-160. Springer, (2005)

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.

Jacques Latta

Jacques Neumann

Jacques Minlo

Jacques Clees

Jacques Rakotondranary

 

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

Embracing the Laws of Physics: Three Reversible Models of Computation., , и . CoRR, (2018)Understanding expression simplification.. ISSAC, стр. 72-79. ACM, (2004)Bimonadic Semantics for Basic Pattern Matching Calculi., , и . MPC, том 4014 из Lecture Notes in Computer Science, стр. 253-273. Springer, (2006)HOL Light QE., , и . ITP, том 10895 из Lecture Notes in Computer Science, стр. 215-234. Springer, (2018)Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities., , и . CoRR, (2018)High-Level Theories., и . AISC/MKM/Calculemus, том 5144 из Lecture Notes in Computer Science, стр. 232-245. Springer, (2008)Symbolic Domain Decomposition., , , и . AISC/MKM/Calculemus, том 6167 из Lecture Notes in Computer Science, стр. 172-188. Springer, (2010)Computing with Semirings and Weak Rig Groupoids., и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 123-148. Springer, (2016)A Library of Reversible Circuit Transformations (Work in Progress)., , и . RC, том 11106 из Lecture Notes in Computer Science, стр. 339-345. Springer, (2018)Effects of Bezel Size in Large Tiled Display Gaming., , , и . SUI, стр. 129. ACM, (2015)