COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS (Q3646170)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS |
scientific article |
Statements
COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS (English)
0 references
19 November 2009
0 references
Feferman-Vaught theorem
0 references
composition theorem
0 references
finitely synchronized products
0 references
Presburger arithmetic
0 references
