On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width

Tytuł:
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
Czasopismo:
35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020)
Rok:
2020

Strony:
958-971

Numer DOI:
10.1145/3373718

Link:
https://dl.acm.org/doi/10.1145/3373718.3394781

Access:
ZAMKNIĘTY