The succinctness of first-order logic on linear orders (Q5310637)
From MaRDI portal
scientific article; zbMATH DE number 5200107
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The succinctness of first-order logic on linear orders |
scientific article; zbMATH DE number 5200107 |
Statements
The succinctness of first-order logic on linear orders (English)
0 references
11 October 2007
0 references
