Q5094140 (Q5094140): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounding the free spectrum of nilpotent algebras of prime power order / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5092435 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some applications of higher commutators in Mal'cev algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free spectra of nilpotent varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: The equivalence problem for finite rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-uniform automata over groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on a theorem of Barrington, Straubing and Thérien / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3775604 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parity, circuits, and the polynomial-time hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of solving equations over finite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new characterization of \(\text{ACC}^{0}\) and probabilistic \(\text{CC}^{0}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5414556 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence and equation solvability problems for the alternating group \(\mathbf A_4\). / rank
 
Normal rank
Property / cites work
 
Property / cites work: Satisfiability in multi-valued circuits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intermediate problems in modular circuits satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Congruence modular varieties with small free spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: The equation solvability problem over supernilpotent algebras with Mal’cev term / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(NC^ 1\): The automata-theoretic viewpoint / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4393484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Proof of the CSP Dichotomy Conjecture / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 18:37, 29 July 2024

scientific article; zbMATH DE number 7566068
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7566068

    Statements

    2 August 2022
    0 references
    CC-circuits
    0 references
    Maltsev algebras
    0 references
    nilpotent algebras
    0 references
    circuit equivalence problem
    0 references
    circuit satisfaction problem
    0 references

    Identifiers