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