Two first-order logics of permutations (Q2299614)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two first-order logics of permutations |
scientific article |
Statements
Two first-order logics of permutations (English)
0 references
21 February 2020
0 references
permutations
0 references
patterns
0 references
first-order logic
0 references
Ehrenfeucht-Fraïssé games
0 references
sorting operators
0 references
