From post

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.

 

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

Confluence of Conditional Rewrite Systems., , и . CTRS, том 308 из Lecture Notes in Computer Science, стр. 31-44. Springer, (1987)Matching Phrases for Arabic-to-English Example-Based Translation System., , и . Language, Culture, Computation (3), том 8003 из Lecture Notes in Computer Science, стр. 54-63. Springer, (2014)Semantic Characteristics of Schizophrenic Speech., , , , , , и . CoRR, (2019)A Maximal-Literal Unit Strategy for Horn Clauses.. CTRS, том 516 из Lecture Notes in Computer Science, стр. 14-25. Springer, (1990)Rewrite Methods for Clausal and Non-Clausal Theorem Proving., и . ICALP, том 154 из Lecture Notes in Computer Science, стр. 331-346. Springer, (1983)Logic Programming by Completion., и . ICLP, стр. 313-320. Uppsala University, (1984)Average Time Analyses Related to Logic Programming., и . ICLP, стр. 369-381. MIT Press, (1989)Conditional Equational Programming and the Theory of Conditional Term Rewriting., и . FGCS, стр. 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Synthesis by Completion.. IJCAI, стр. 208-214. Morgan Kaufmann, (1985)The evolution of programs.. Progress in computer science Birkhäuser, (1983)