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.

 

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

What does a Conditional Knowledge Base Entail?, и . Artif. Intell., 55 (1): 1-60 (1992)On Partially Wellfounded Generic Ultrapowers., и . Pillars of Computer Science, том 4800 из Lecture Notes in Computer Science, стр. 342-350. Springer, (2008)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).Two Weak Consequences of 0#., , и . J. Symb. Log., 50 (3): 597-603 (1985)Distance Semantics for Belief Revision, , и . Journal of Symbolic Logic, 66 (1): 295-317 (2001)Corson reflections., и . Ann. Pure Appl. Log., 172 (5): 102908 (2021)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)On the Standard Part of Nonstandard Models of Set Theory., , и . J. Symb. Log., 48 (1): 33-38 (1983)