260
Bibliography
[Plotkin, 1983] Plotkin, G. D. (1983). Domains. Department of Computer
Science, University of Edinburgh, Scotland.
[Prieß-Crampe, 1990] Prieß-Crampe, S. (1990). Der Banachsche Fixpunktsatz
f¨ ur ultrametrische R¨ aume. Results in Mathematics, 18:178–186.
[Prieß-Crampe and Ribenboim, 1993] Prieß-Crampe, S. and Ribenboim, P.
(1993). Fixed points, combs and generalized power series. Abh. Math.
Sem. Univ. Hamburg, 63:227–244.
[Prieß-Crampe and Ribenboim, 2000a] Prieß-Crampe, S. and Ribenboim, P.
(2000a). Fixed-point and attractor theorems for ultrametric spaces. Forum Mathematicum., 12:53–64.
[Prieß-Crampe and Ribenboim, 2000b] Prieß-Crampe, S. and Ribenboim, P.
(2000b). Logic programming and ultrametric spaces. Rendiconti di Mathematica, VII:1–13.
[Prieß-Crampe and Ribenboim, 2000c] Prieß-Crampe, S. and Ribenboim, P.
(2000c). Ultrametric spaces and logic programming. The Journal of Logic
Programming, 42:59–70.
[Przymusinska and Przymusinski, 1990] Przymusinska, H. and Przymusinski,
T. C. (1990). Weakly stratified logic programs. Fundamenta Informaticae, 13:51–65.
[Przymusinski, 1988] Przymusinski, T. C. (1988). On the declarative semantics of deductive databases and logic programs. In Minker, J., editor,
Foundations of Deductive Databases and Logic Programming, pages 193–
216. Morgan Kaufmann Publishers, Los Altos, CA.
[Reed et al., 1991] Reed, G. M., Roscoe, A. W., and Wachter, R. F., editors
(1991). Topology and Category Theory in Computer Science. Oxford
University Press, Oxford, UK.
[Reiter, 1980] Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13:81–132.
[Reynolds, 2010] Reynolds, D., editor (2010). OWL 2 RL in RIF. A W3C
Working Group Note. See http://www.w3.org/TR/rif-owl-rl/.
[Ribenboim, 1996] Ribenboim, P. (1996). The new theory of ultrametric
spaces. Periodica Mathematica Hungarica, 32(1–2):103–111.
[Robinson, 1965] Robinson, J. A. (1965). A machine-oriented logic based on
the resolution principle. Journal of the ACM, 12(1):23–41.
[Rodr´ ıguez-L´ opez et al., 2008] Rodr´ ıguez-L´ opez, J., Romaguera, S., and
Valero, O. (2008). Denotational semantics for programming languages,
balanced quasimetrics and fixed points. International Journal of Computer Mathematics, 85(3):623–630.
Bibliography
[Plotkin, 1983] Plotkin, G. D. (1983). Domains. Department of Computer
Science, University of Edinburgh, Scotland.
[Prieß-Crampe, 1990] Prieß-Crampe, S. (1990). Der Banachsche Fixpunktsatz
f¨ ur ultrametrische R¨ aume. Results in Mathematics, 18:178–186.
[Prieß-Crampe and Ribenboim, 1993] Prieß-Crampe, S. and Ribenboim, P.
(1993). Fixed points, combs and generalized power series. Abh. Math.
Sem. Univ. Hamburg, 63:227–244.
[Prieß-Crampe and Ribenboim, 2000a] Prieß-Crampe, S. and Ribenboim, P.
(2000a). Fixed-point and attractor theorems for ultrametric spaces. Forum Mathematicum., 12:53–64.
[Prieß-Crampe and Ribenboim, 2000b] Prieß-Crampe, S. and Ribenboim, P.
(2000b). Logic programming and ultrametric spaces. Rendiconti di Mathematica, VII:1–13.
[Prieß-Crampe and Ribenboim, 2000c] Prieß-Crampe, S. and Ribenboim, P.
(2000c). Ultrametric spaces and logic programming. The Journal of Logic
Programming, 42:59–70.
[Przymusinska and Przymusinski, 1990] Przymusinska, H. and Przymusinski,
T. C. (1990). Weakly stratified logic programs. Fundamenta Informaticae, 13:51–65.
[Przymusinski, 1988] Przymusinski, T. C. (1988). On the declarative semantics of deductive databases and logic programs. In Minker, J., editor,
Foundations of Deductive Databases and Logic Programming, pages 193–
216. Morgan Kaufmann Publishers, Los Altos, CA.
[Reed et al., 1991] Reed, G. M., Roscoe, A. W., and Wachter, R. F., editors
(1991). Topology and Category Theory in Computer Science. Oxford
University Press, Oxford, UK.
[Reiter, 1980] Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13:81–132.
[Reynolds, 2010] Reynolds, D., editor (2010). OWL 2 RL in RIF. A W3C
Working Group Note. See http://www.w3.org/TR/rif-owl-rl/.
[Ribenboim, 1996] Ribenboim, P. (1996). The new theory of ultrametric
spaces. Periodica Mathematica Hungarica, 32(1–2):103–111.
[Robinson, 1965] Robinson, J. A. (1965). A machine-oriented logic based on
the resolution principle. Journal of the ACM, 12(1):23–41.
[Rodr´ ıguez-L´ opez et al., 2008] Rodr´ ıguez-L´ opez, J., Romaguera, S., and
Valero, O. (2008). Denotational semantics for programming languages,
balanced quasimetrics and fixed points. International Journal of Computer Mathematics, 85(3):623–630.