Index
Browse
Bibliographies
My selection
S
earch:
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
@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}
}
Last modified: Thu October 16 2014 19:11:34
