Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Correspondence Polymorphism for Object-Oriented Languages., , and . OOPSLA, page 167-186. ACM, (1999)SIGPLAN Notices 34(10).Shelah's pcf Theory and Its Applications., and . Ann. Pure Appl. Log., 50 (3): 207-254 (1990)On Partially Wellfounded Generic Ultrapowers., and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 342-350. Springer, (2008)What does a Conditional Knowledge Base Entail?, and . Artif. Intell., 55 (1): 1-60 (1992)Corson reflections., and . Ann. Pure Appl. Log., 172 (5): 102908 (2021)Two Weak Consequences of 0#., , and . J. Symb. Log., 50 (3): 597-603 (1985)Distance Semantics for Belief Revision, , and . Journal of Symbolic Logic, 66 (1): 295-317 (2001)Extender Based Forcings., and . J. Symb. Log., 59 (2): 445-460 (1994)On the Standard Part of Nonstandard Models of Set Theory., , and . J. Symb. Log., 48 (1): 33-38 (1983)On the Mutual-Exclusion Problem - A Quest for Minimal Solutions., and . Theor. Comput. Sci., 129 (1): 1-38 (1994)