( en | de | ru )

 

Disambiguation of "Kennaway, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Director Strings as Combinators.

, and . ACM Trans. Program. Lang. Syst., 10 (4): 602-626 (1988)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

Syntax and informal semantics of DyNe, a parallel language., and . The Analysis of Concurrent Systems, volume 207 of Lecture Notes in Computer Science, page 222-230. Springer, (1983)The development of language processing support for the ViSiCAST project., , , and . ASSETS, page 101-108. ACM, (2000)Implementing Term Rewritin Languages in Dactl.. CAAP, volume 299 of Lecture Notes in Computer Science, page 102-116. Springer, (1988)Implementing Term Rewrite Languages in Dactl.. Theor. Comput. Sci., 72 (2&3): 225-249 (1990)Event Structures and Non-Orthogonal Term Graph Rewriting., and . Math. Struct. Comput. Sci., 6 (6): 545-578 (1996)Infinitary rewriting and cyclic graphs.. SEGRAGRA, volume 2 of Electronic Notes in Theoretical Computer Science, page 153-166. Elsevier, (1995)On the Adequacy of Graph Rewriting for Simulating Term Rewriting., , , and . ACM Trans. Program. Lang. Syst., 16 (3): 493-523 (1994)Dactl: An Experimental Graph Rewriting Language., , and . Graph-Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, page 378-395. Springer, (1990)Generation of Diverse Biological Forms through Combinatorial Interactions between Tissue Polarity and Growth., , , and . PLoS Comput. Biol., (2011)Infinitary Lambda Calculus., , , and . Theor. Comput. Sci., 175 (1): 93-125 (1997)