Pages that link to "Item:Q5145309"
From MaRDI portal
The following pages link to Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth (Q5145309):
Displaying 4 items.
- A logical characterization of constant-depth circuits over the reals (Q2148775) (← links)
- Descriptive complexity of \#P functions: a new perspective (Q2220444) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Logical characterizations of algebraic circuit classes over integral domains (Q6620024) (← links)