Interpretation based Verification of Logic Programs Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe Dipartimento di Informatica Università di Pisa Pisa, Italy
Estimates of the Bergman kernel and the Bergman and Kobayashi metrics on pseudoconvex domains near boundaries with constant Levi ranks are given. Mathematics Subject Classification (2000): 32F45; 32T27.
Acknowledgements. Thanks to Ann Bradlow and especially the editors for helpful discussions. Many thanks to Lisa Davidson and Susannah Levi for helpful discussions and comments on the manuscript.
