Results 61 to 70 of about 355 (91)
Ideals of function rings associated with sublocales
, 2021 Dorca Nyamusi Stephen
openalex +1 more source
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover [PDF]
, 2018 Blanchette, Jasmin Christian +3 more
core
Continuous extensions of real functions on arbitrary sublocales and C-, C⁎-, and z-embeddings
, 2021 Ana Belén Avilez, Jorge Picado
openalex +1 more source
Locales whose coz-complemented cozero sublocales have open closures
, 2020 Oghenetega Ighedo, Martin M. Mugochi
openalex +1 more source
On classes of localic maps defined by their behavior on zero sublocales
, 2022 Ana Belén Avilez
openalex +1 more source