( en | de | ru )

 

Disambiguation

From post

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

, , , и . FSTTCS, том 338 из Lecture Notes in Computer Science, стр. 435-454. Springer, (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.

David R Anderson

Ricarda Musser

David R Wenger

David A R Forrester

Bodo David

 

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

The Design of Data Type Specifications., , и . ICSE, стр. 414-420. IEEE Computer Society, (1976)SAC-1 solution of problem #7., , и . SIGSAM Bull., 8 (2): 17-19 (1974)Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications., и . ICFEM, том 2495 из Lecture Notes in Computer Science, стр. 132-143. Springer, (2002)Semi-Unification., , , и . Theor. Comput. Sci., 81 (2): 169-187 (1991)Abstract Data Type Specification in the AFFIRM System.. IEEE Trans. Software Eng., 6 (1): 24-32 (1980)Structured reasoning about actor systems., и . AGERE!@SPLASH, стр. 37-48. ACM, (2013)A generalized class of polynomials that are hard to factor., , и . SYMSACC, стр. 188-194. ACM, (1981)Operators and algebraic structures., , и . FPCA, стр. 59-64. ACM, (1981)Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems., , и . ICALP, том 140 из Lecture Notes in Computer Science, стр. 300-312. Springer, (1982)Complete Traversals and their Implementation Using the Standard Template Library., , и . CLEI Electron. J., (1998)