Pebble-Intervals Automata and FO[Formula: see text] with Two Orders

We introduce a novel automata model, which we call pebble-intervals automata (PIA), and study its power and closure properties. PIAs are tailored for a decidable fragment of FO that is important for reasoning about structures that use data values from infinite domains: the two-variable fragment with...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Xuất bản năm:Language and Automata Theory and Applications
Những tác giả chính: Labai, Nadia, Kotek, Tomer, Ortiz, Magdalena, Veith, Helmut
Định dạng: Artigo
Ngôn ngữ:Inglês
Được phát hành: 2020
Những chủ đề:
Article
Truy cập trực tuyến:https://ncbi.nlm.nih.gov/pmc/articles/PMC7206661/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-40608-0_14
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự