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
Konferencja:
IEEE Symposium on Logic in Computer Science [LICS]
Rok:
2020
Opis:
Access:ZAMKNIĘTY
Strony:
958-971
Tom (seria wydawnicza):
35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020)
Numer DOI:
10.1145/3373718
Link:
https://dl.acm.org/doi/10.1145/3373718.3394781