The following pages link to (Q4499241):
Displayed 4 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)