What’s Decidable about Sequences? (Q4931288)
From MaRDI portal
scientific article; zbMATH DE number 5795626
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | What’s Decidable about Sequences? |
scientific article; zbMATH DE number 5795626 |
Statements
What’s Decidable about Sequences? (English)
0 references
4 October 2010
0 references
first-order theory of sequences
0 references
