The Exact Complexity of the First-Order Logic Definability Problem (Q5012557)
From MaRDI portal
scientific article; zbMATH DE number 7433190
Language | Label | Description | Also known as |
---|---|---|---|
English | The Exact Complexity of the First-Order Logic Definability Problem |
scientific article; zbMATH DE number 7433190 |
Statements
The Exact Complexity of the First-Order Logic Definability Problem (English)
0 references
25 November 2021
0 references
definability problem
0 references
expressiveness
0 references
first-order logic
0 references
relational algebra
0 references