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

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)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)Shelah's pcf Theory and Its Applications., and . Ann. Pure Appl. Log., 50 (3): 207-254 (1990)Correspondence Polymorphism for Object-Oriented Languages., , and . OOPSLA, page 167-186. ACM, (1999)SIGPLAN Notices 34(10).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)Metaphoric Polymorphism: Taking Code Reuse One Step Further., and . ECOOP, volume 1098 of Lecture Notes in Computer Science, page 449-471. Springer, (1996)