Pages that link to "Item:Q1427780"

The following pages link to Generalized metrics and uniquely determined logic programs. (Q1427780):

Displaying 8 items.

• A geometric interpretation of LD-resolution (Q596040) (← links)
• Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
• A double completion for an arbitrary \(T_0\)-quasi-metric space (Q941440) (← links)
• Logic programs and connectionist networks (Q1884268) (← links)
• Logic programs, iterated function systems, and recurrent radial basis function networks (Q1884270) (← links)
• Invariant sets and Knaster-Tarski principle (Q1935659) (← links)
• The fixed-point theory of strictly causal functions (Q2257306) (← links)
• Approximation, solution operators and quantale-valued metrics (Q2407702) (← links)