Two-variable logic on data words (Q2946646)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two-variable logic on data words |
scientific article |
Statements
Two-variable logic on data words (English)
0 references
17 September 2015
0 references
data words
0 references
Petri-net reachability
0 references
first-order logic
0 references
equivalence relation
0 references
two-variables logic
0 references
