Monadic Second-Order Logic with Arbitrary Monadic Predicates

Fijalkow, N; Paperman, C

Fijalkow, N (reprint author), Univ Warwick, Alan Turing Inst, British Lib, 96 Euston Rd, London NW1 2DB, England.

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017; 18 (3):

Abstract

We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索