( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rewriting.

, и . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)

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.

Nachum Silberberg

Nachum Wahrmann

Nachum Orland

Nachum Orland

Nachum Wahrmann

 

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

Preface., , и . Fundam. Informaticae, (2022)Abstract and-parallel Machines., и . Comput. Artif. Intell., 19 (5): 475-493 (2000)Completion for Rewriting Modulo a Congruence., и . Theor. Comput. Sci., 67 (2&3): 173-201 (1989)Jumping and escaping: Modular termination and the abstract path ordering.. Theor. Comput. Sci., (2012)Abstract canonical presentations., и . Theor. Comput. Sci., 357 (1-3): 53-69 (2006)Rewriting and verification.. ACM SIGSOFT Softw. Eng. Notes, 10 (4): 60 (1985)The evolution of programs.. Progress in computer science Birkhäuser, (1983)Joint word2vec Networks for Bilingual Semantic Representations., , , и . Int. J. Comput. Linguistics Appl., 5 (1): 27-42 (2014)Drags: A compositional algebraic framework for graph rewriting., и . Theor. Comput. Sci., (2019)Introduction., и . Nat. Comput., 10 (4): 1215-1217 (2011)