Werner Saurer

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

Gregor Erbach, Werner Saurer
Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. Artif. Intell. Rev. 14 (6) (2000)
Werner Saurer
A natural deduction system for discourse representation theory. J. Philos. Log. 22 (3) (1993)