Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #1194   Type :   Html | Bib | Both

Created: 2007-12-12 11:31:23

1194 Werner Saurer. A Natural Deduction System for Discourse Representation Theory. In Journal of Philosophical Logic, Vol. 22:249-302, 1993.     google

Last modified: Thu October 16 2014 19:11:34