Algorithms and data structures for first-order logic with connectivity under vertex failures (Q6382347)
From MaRDI portal
scientific article; zbMATH DE number 900494195
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithms and data structures for first-order logic with connectivity under vertex failures |
scientific article; zbMATH DE number 900494195 |
Statements
5 November 2021
0 references
cs.DS
0 references
cs.DM
0 references
cs.LO
0 references
math.CO
0 references
math.LO
0 references
