Skip to content
<title>Channels - McShane-Whitney extensions in constructive analysis :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
McShane-Whitney extensions in constructive analysis
Search for more channels:
Similar Items: McShane-Whitney extensions in constructive analysis
Channel Options
View Record
Explore related channels
Quick Look
Tameness in least fixed-point logic and McColm's conjecture
Quick Look
Z-stability in Constructive Analysis
Quick Look
On guarded extensions of MMSNP
Quick Look
Interpolation in local theory extensions
Quick Look
Extension by Conservation. Sikorski's Theorem
Quick Look
Moschovakis Extension of Represented Spaces
Quick Look
On noncommutative extensions of linear logic
Quick Look
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Quick Look
An extension of data automata that captures XPath
Quick Look
On Interpolation and Symbol Elimination in Theory Extensions
Quick Look
Causal Graph Dynamics and Kan Extensions
Quick Look
Our Job Is To Show Them Why: Environmental Justice and Energy History at Whitney Plantation
Quick Look
Branch-Well-Structured Transition Systems and Extensions
Quick Look
Decidability of extensions of Presburger arithmetic by generalised polynomials
Quick Look
LLM-Augmented Knowledge Base Construction for Root Cause Analysis
Quick Look
Affine Extensions of Integer Vector Addition Systems with States
Quick Look
An extensible equality checking algorithm for dependent type theories
Quick Look
Counting Minimal Unique-Cause MC/DC Test Suites for Boolean Decisions
Quick Look
On Constructive Connectives and Systems
Quick Look
On the commutativity of the powerspace constructions
Quick Look
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
Quick Look
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Quick Look
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Quick Look
Constructive Canonicity of Inductive Inequalities
Load more items
View Record
Prev
Explore related channels
Next
