Index Browse   Bibliographies My selection

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

Reference no #683   Type :   Html | Bib | Both

Created: 2007-12-12 11:30:33

683 Manfred Kerber and Michael Kohlhase. A Tableau Calculus for Partial Functions. In Collegium logicum: Annals of the Kurt-Gödel-Society, Vol. 2:21-49, 1996.     google

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