Completeness for first-order properties on sparse structures with algorithmic applications (Q4629991)
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 7044625
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Completeness for first-order properties on sparse structures with algorithmic applications |
scientific article; zbMATH DE number 7044625 |
Statements
Completeness for First-order Properties on Sparse Structures with Algorithmic Applications (English)
0 references
28 March 2019
0 references
fine-grained complexity
0 references
first-order model checking
0 references
orthogonal vectors
0 references
0.9991419911384584
0 references
0.7694114446640015
0 references
0.7307032346725464
0 references
0.705160915851593
0 references
0.7023077607154846
0 references
