Publication:4513593
From MaRDI portal
zbMath0962.68098MaRDI QIDQ4513593
Publication date: 28 February 2001
68Q55: Semantics in the theory of computing
Related Items
Unnamed Item, Exceptional values of p-Adic Derivatives, a survey with some improvements, Atomicity, coherence of information, and point-free structures, Some points in formal topology., Formal Zariski topology: Positivity and points, The principle of pointfree continuity