The following pages link to (Q4853319):
Displaying 16 items.
- Some fixed point results in dislocated quasi metric (\(dq\)-metric) spaces (Q257833) (← links)
- Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993 (Q1365670) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Logic programs and connectionist networks (Q1884268) (← links)
- Logic programs, iterated function systems, and recurrent radial basis function networks (Q1884270) (← links)
- Logic, topology, and integration (Q1893128) (← links)
- Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs (Q2843619) (← links)
- Topologies for intermediate logics (Q2922497) (← links)
- Mathematical Aspects of Logic Programming Semantics (Q3075664) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
- The query topology in logic programming (Q5096171) (← links)
- (Q5365498) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
