No label defined (Q5079723)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7533328

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

Statements

scholarly article

0 references

0 references

0 references

0 references

publication date

28 May 2022

0 references

zbMATH Keywords

automatic structures

0 references

complexity theory

0 references

model theory

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

The complexity of logical theories

0 references

An application of games to the completeness problem for formalized theories

0 references

Decision Problems of Finite Automata Design and Related Arithmetics

0 references

The first order properties of products of algebraic systems

0 references

The computational complexity of logical theories

0 references

Parametrized complexity theory.

0 references

The complexity of first-order and monadic second-order logic revisited

0 references

Synchronized rational relations of finite and infinite words

0 references

0 references

On direct products of automaton decidable theories

0 references

Three Lectures on Automatic Structures

0 references

0 references

Unary automatic graphs: an algorithmic perspective

0 references

Theories of Automatic Structures and Their Complexity

0 references

Some natural decision problems in automatic graphs

0 references

Automatic structures of bounded degree revisited

0 references

A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic

0 references

Automata Presenting Structures: A Survey of the Finite String Case

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

10.4230/LIPICS.CSL.2018.3

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5079723

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