擦掉
发表于 2025-4-1 02:47:20
Second-Order Logic over Strings: Regular and Non-regular Fragmentsstigate prefix classes of general second-order logic. Such a prefix class is called ., if each of its sentences describes a regular language, and . otherwise. Recently, the regular and nonregular prefix classes of existential second order logic (Σ..) were exhaustively determined. We briefly recall t
Interim
发表于 2025-4-1 06:20:21
http://reply.papertrans.cn/28/2703/270240/270240_62.png
甜瓜
发表于 2025-4-1 13:49:43
http://reply.papertrans.cn/28/2703/270240/270240_63.png