Path logics with synchronization (Q5190790)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5587283
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Path logics with synchronization |
scientific article; zbMATH DE number 5587283 |
Statements
27 July 2009
0 references
decidability
0 references
monadic second-order logic
0 references
path theory
0 references
chain theory
0 references
synchronization between paths
0 references
path logic
0 references
chain logic
0 references
infinite two-dimensional grid
0 references
infinite binary tree
0 references
0.7981284856796265
0 references
0.7345607876777649
0 references
0.726077139377594
0 references
0.7249630689620972
0 references
0.7214719653129578
0 references
