The following pages link to Logical labeling schemes (Q6172301):
Displaying 6 items.
- Compact labelings for efficient first-order model-checking (Q626458) (← links)
- Constructing labeling schemes through universal matrices (Q973000) (← links)
- Efficient First-Order Model-Checking Using Short Labels (Q3507329) (← links)
- Labeling Schemes with Queries (Q5425964) (← links)
- Logical Mappings (Q5520633) (← links)
- Small but unwieldy: a lower bound on adjacency labels for small classes (Q6631355) (← links)