( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.

, и . Theor. Comput. Sci., 129 (1): 1-38 (1994)

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.

Menachem Sturman

Menachem Bensussan

Menachem Amitai

Menachem Saban

Menachem Amitai

 

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

The consistency strength of hyperstationarity., , и . J. Math. Log., 20 (1): 2050004 (2020)Omitting types in logic of metric structures., и . J. Math. Log., 18 (2): 1850006:1-1850006:58 (2018)On Partially Wellfounded Generic Ultrapowers., и . Pillars of Computer Science, том 4800 из Lecture Notes in Computer Science, стр. 342-350. Springer, (2008)What does a Conditional Knowledge Base Entail?, и . Artif. Intell., 55 (1): 1-60 (1992)Shelah's pcf Theory and Its Applications., и . Ann. Pure Appl. Log., 50 (3): 207-254 (1990)Correspondence Polymorphism for Object-Oriented Languages., , и . OOPSLA, стр. 167-186. ACM, (1999)SIGPLAN Notices 34(10).On the Standard Part of Nonstandard Models of Set Theory., , и . J. Symb. Log., 48 (1): 33-38 (1983)On the Mutual-Exclusion Problem - A Quest for Minimal Solutions., и . Theor. Comput. Sci., 129 (1): 1-38 (1994)Extender Based Forcings., и . J. Symb. Log., 59 (2): 445-460 (1994)Metaphoric Polymorphism: Taking Code Reuse One Step Further., и . ECOOP, том 1098 из Lecture Notes in Computer Science, стр. 449-471. Springer, (1996)