References of Manfred Kerber
|
Order by: Type | Year
|
|
|
|
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]
|
|
|
|
|
|
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]
|
|
|
|
|
|