下级 发表于 2025-3-25 05:36:12

6楼

强有力 发表于 2025-3-25 07:54:27

6楼

符合规定 发表于 2025-3-25 13:46:01

6楼

Trochlea 发表于 2025-3-25 16:59:20

6楼

Cursory 发表于 2025-3-25 21:34:36

7楼

孤僻 发表于 2025-3-26 00:55:11

7楼

小故事 发表于 2025-3-26 06:22:42

7楼

interlude 发表于 2025-3-26 12:20:57

7楼

欢腾 发表于 2025-3-26 16:40:20

http://reply.papertrans.cn/35/3458/345798/345798_29.png

hieroglyphic 发表于 2025-3-26 18:00:45

Computing Preimages and Ancestors in Reaction Systems, respectively. Many computational problems on preimages and ancestors, such as finding all minimum-cardinality .-th ancestors, computing their size, or counting them, are intractable. In this paper we propose a characterization of .-th ancestors as a Boolean formula, and we define an operator able
页: 1 2 [3] 4
查看完整版本: Titlebook: Formal Methods for Nonmonotonic and Related Logics; Vol II: Theory Revis Karl Schlechta Textbook 2018 Springer Nature Switzerland AG 2018 F