Index Browse   Bibliographies My selection

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

References of Manfred Kerber   Order by:   Type | Year

<< Article (Journal) >>

1 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

<< InProceedings >>

2 Manfred Kerber and Michael Kohlhase. A Resolution Calculus for Presuppositions. In Wolfgang Wahlster editor, 12th European Conference on Artificial Intelligence (ECAI '96), August 12-16, Pages 375-379, John Wiley & Sons, Budapest, Hungary, 1996. [Abstract]     google 3 Tobias Müller. Promoting Constraints to First-Class Status. In J. Lloyd, V. Dahl, U. Furbach, Manfred Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv and P.J. Stuckey editors, 1st International Conference on Computational Logic (CL '00), July 24-28, (1861):429-447, Springer, Imperial College, London, UK, 2000. [Abstract]     google [Annote]

<< TechReport >>

4 Manfred Kerber and Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality. Technical report, Technical Report CSRP-97-23, University of Birmingham, School of Computer Science, Birmingham, September 1997. [Abstract]     google [Annote]

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