Charles Stewart

Publication Activity (10 Years)

Years Active: 1981-2018
Publications (10 Years): 1

Top Topics

Explanation Based Generalization

Top Venues

J. Log. Comput.

Publications

Charles Stewart, Valeria de Paiva, Natasha Alechina
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28 (5) (2018)
Charles Stewart, Phiniki Stouppa
A Systematic Proof Theory for Several Modal Logics. Advances in Modal Logic (2004)
Charles Stewart, Jon Thompson, Charles Murphy, Barbara Friedman, Stephen Mitchell
All publishers are alike, aren't they? (Panel Discussion). SIGCSE (1981)