Q5028429 (Q5028429): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 23:04, 27 July 2024

scientific article; zbMATH DE number 7471669

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

Statements

scholarly article

0 references

0 references

0 references

publication date

9 February 2022

0 references

full work available at URL

https://arxiv.org/abs/1910.06004

0 references

https://lmcs.episciences.org/8717

0 references

zbMATH Keywords

dynamic complexity

0 references

parity quantifier

0 references

arity hierarchy

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

\(\Sigma_ 1^ 1\)-formulae on finite structures

0 references

On uniformity within \(NC^ 1\)

0 references

0 references

Arity bounds in first-order incremental evaluation and definition of polynomial time database queries

0 references

SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-<font>ary</font> INPUT RELATIONS

0 references

Parity, circuits, and the polynomial-time hierarchy

0 references

The dynamic complexity of formal languages

0 references

The dynamic complexity of transitive closure is in DynTC\(^{0}\).

0 references

0 references

Dyn-FO: A parallel, dynamic complexity class

0 references

Dynamic Complexity under Definable Changes

0 references

The dynamic descriptive complexity of \(k\)-clique

0 references

On the quantifier-free dynamic complexity of reachability

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5028429

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5028429&oldid=36765777"