( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Infinitary Rewriting: From Syntax to Semantics.

, , , и . Processes, Terms and Cycles, том 3838 из Lecture Notes in Computer Science, стр. 148-172. 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.

Richard Janissen

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

Richard Giesen

Richard Herold

Richard Warth

Richard Warth

 

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

Syntax and informal semantics of DyNe, a parallel language., и . The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 222-230. Springer, (1983)Event Structures and Non-Orthogonal Term Graph Rewriting., и . Math. Struct. Comput. Sci., 6 (6): 545-578 (1996)Implementing Term Rewrite Languages in Dactl.. Theor. Comput. Sci., 72 (2&3): 225-249 (1990)Implementing Term Rewritin Languages in Dactl.. CAAP, том 299 из Lecture Notes in Computer Science, стр. 102-116. Springer, (1988)The development of language processing support for the ViSiCAST project., , , и . ASSETS, стр. 101-108. ACM, (2000)Infinitary rewriting and cyclic graphs.. SEGRAGRA, том 2 из Electronic Notes in Theoretical Computer Science, стр. 153-166. Elsevier, (1995)Stable results and relative normalization., , и . J. Log. Comput., 10 (3): 323-348 (2000)On the Adequacy of Graph Rewriting for Simulating Term Rewriting., , , и . ACM Trans. Program. Lang. Syst., 16 (3): 493-523 (1994)A Conflict Between Call-by-Need Computation and Parallelism.. CTRS, том 968 из Lecture Notes in Computer Science, стр. 247-261. Springer, (1994)Synthetic Animation of Deaf Signing Gestures.. Gesture Workshop, том 2298 из Lecture Notes in Computer Science, стр. 146-157. Springer, (2001)