Logical characterizations of algebraic circuit classes over integral domains
type: Item
instance of: scholarly article
title: Logical characterizations of algebraic circuit classes over integral domains
author: Timon Barlag
author: Florian Chudigiewitsch
author: Sabrina Alexandra Gaube
published in: Mathematical Structures in Computer Science
publication date: 2024-10-16T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7927457
zbMATH Keywords: algebraic circuits
zbMATH Keywords: descriptive complexity
MaRDI profile type: Publication
cites work: Q3618501
cites work: A logical characterization of constant-depth circuits over the reals
cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
cites work: Q4331740
cites work: \(P_ \mathbb{R}{}\neq{}NC_ \mathbb{R}\)
cites work: Logics which capture complexity classes over the reals
cites work: Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth
cites work: Metafinite model theory
cites work: Finite model theory and its applications.
cites work: Q4234078
cites work: Q4227581
cites work: Q2770573
cites work: Elements of finite model theory.
DOI: 10.1017/S0960129524000136
description: scientific article; zbMATH DE number 7927457