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.
@Article{Kerber_Kohlhase:1996_1,
AUTHOR = {Kerber, Manfred and Kohlhase, Michael},
TITLE = {A Tableau Calculus for Partial Functions},
YEAR = {1996},
JOURNAL = {Collegium logicum: Annals of the Kurt-Gödel-Society},
VOLUME = {2},
PAGES = {21-49}
}
|
