Skip to content
<title>Channels - Subspace-Invariant AC$^0$ Formulas :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Subspace-Invariant AC$^0$ Formulas
Search for more channels:
Similar Items: Subspace-Invariant AC$^0$ Formulas
Channel Options
View Record
Explore related channels
Quick Look
Invariant Subspace Decomposition
Quick Look
Invariant Subspace Decomposition
Quick Look
Invariant Subspace Decomposition
Quick Look
Invariant Subspace Decomposition
Quick Look
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Quick Look
Hydra Battles and AC Termination
Quick Look
Left-Linear Completion with AC Axioms
Quick Look
Subspace representations in deep neural networks: A survey
Quick Look
Locating Ax, where A is a subspace of B(H)
Quick Look
From formulas to cirquents in computability logic
Quick Look
Tree-width for first order formulae
Quick Look
LightKrylov: Lightweight implementation of Krylov subspace techniques in modern Fortran
Quick Look
A Coherence-Restoring Subspace Projection for Adaptive Array Spectral Estimation
Quick Look
Nash Equilibrium and Bisimulation Invariance
Quick Look
Order-Invariant Types and Their Applications
Quick Look
Boolean basis, formula size, and number of modal operators
Quick Look
Bounded Quantifier Instantiation for Checking Inductive Invariants
Quick Look
The Structure of Differential Invariants and Differential Cut Elimination
Quick Look
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
Quick Look
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Quick Look
Hardness of monadic second-order formulae over succinct graphs
Quick Look
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Quick Look
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Quick Look
Load Characteristics Analysis of Traction Substations of AC Electrified Railway Based on the Measured Load Data
Load more items
View Record
Prev
Explore related channels
Next
