Generalized metrics and topology in logic programming semantics
P Hitzler - 2001 - corescholar.libraries.wright.edu
Many fixed-point theorems are essentially topological in nature. Among them are the
Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott …
Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott …
[图书][B] Mathematical aspects of logic programming semantics
P Hitzler, A Seda - 2011 - library.oapen.org
Covering the authors' own state-of-the-art research results, this book presents a rigorous,
modern account of the mathematical methods and tools required for the semantic analysis of …
modern account of the mathematical methods and tools required for the semantic analysis of …