vix.ing · top · new · best · stats · spec

Peter Holy

  1. Outward compactness
    2024/02/24 by Peter Holy, Holy, Peter, Philipp Lücke +3 · 1 citation
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge