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