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

