Christopher Bader

Publication Activity (10 Years)

Years Active: 1982-1982
Publications (10 Years): 0

Publications

Christopher Bader, Arnaldo Moura
A Generalization of Ogden's Lemma. J. ACM 29 (2) (1982)