Menachem Magidor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–1999
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | OOPSLA | Correspondence Polymorphism for Object-Oriented Languages. | Ran Rinat, Menachem Magidor, Scott F. Smith |
| 1996 | ECOOP | Metaphoric Polymorphism: Taking Code Reuse One Step Further. | Ran Rinat, Menachem Magidor |
| 1996 | TARK | Distance Semantics for Belief Revision. | Karl Schlechta, Daniel Lehmann, Menachem Magidor |
| 1990 | TARK | Preferential Logics: the Predicate Calculus Case. | Daniel Lehmann, Menachem Magidor |