Two-variable logic on data words (Q2946646)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view:
Two-variable logic on data words
scientific article; zbMATH DE number 6483152
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Two-variable logic on data words |
scientific article; zbMATH DE number 6483152 |
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
0.8863497376441956
0 references
0.8738934397697449
0 references
0.8335885405540466
0 references
0.8270361423492432
0 references
0.8143151998519897
0 references
