scientific article; zbMATH DE number 6691390

DOI10.4230/LIPICS.STACS.2014.41MaRDI QIDQ2965470zbMATH OpenFDO

Authors

Publication date 3 March 2017

Full work available at URL https://arxiv.org/abs/1401.1125

zbMATH Keywords

countingfixed-point logicmajoritysymmetric circuituniformity

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• On symmetric circuits and fixed-point logics
• Symmetric Circuits for Rank Logic
• Symmetric circuits for rank logic
• Computer Science Logic
• The use of symmetric variables for reducing the complexity of logical circuits
• Symmetric Logic of Proofs
• On the symmetry of logic
• scientific article; zbMATH DE number 1086678
• Symmetries of quantified Boolean formulas
• Symmetric multi-valued logic functions: characterization and synthesis

Cited in

(8)

• On symmetric circuits and fixed-point logics
• Is polynomial time choiceless?
• Symmetric multi-valued logic functions: characterization and synthesis
• scientific article; zbMATH DE number 1086678 (Why is no real title available?)
• Symmetric Circuits for Rank Logic
• Symmetric circuits for rank logic
• Computer Science Logic
• scientific article; zbMATH DE number 3186297 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2965470)