VOC
发表于 2025-3-25 07:17:21
http://reply.papertrans.cn/59/5880/587962/587962_21.png
芦笋
发表于 2025-3-25 09:47:15
http://reply.papertrans.cn/59/5880/587962/587962_22.png
Palliation
发表于 2025-3-25 13:18:50
http://reply.papertrans.cn/59/5880/587962/587962_23.png
高度
发表于 2025-3-25 17:25:14
Outlook,ers can be reduced to first-order logic on automatic structures. Thus, hierarchical games provide a way to model-check first-order logic extended with cardinality, counting and game quantification on automatic presentations.
革新
发表于 2025-3-25 23:33:53
Logics, Structures and Presentations,asic facts from automata theory . We introduce automatic structures using presentations by automata and characterize them both by first-order and by monadic second-order to first-order interpretations. Finally, we discuss the composition method for monadic second-order logic over linear orders and trees.
FIR
发表于 2025-3-26 03:19:36
7楼
中世纪
发表于 2025-3-26 06:27:48
7楼
Genome
发表于 2025-3-26 11:39:21
8楼
faucet
发表于 2025-3-26 16:37:43
8楼
有限
发表于 2025-3-26 17:41:27
8楼