MAIM
发表于 2025-3-30 08:29:31
http://reply.papertrans.cn/23/2206/220584/220584_51.png
angina-pectoris
发表于 2025-3-30 14:21:22
http://reply.papertrans.cn/23/2206/220584/220584_52.png
得体
发表于 2025-3-30 18:49:36
The complexity of subtheories of the existential linear theory of reals,ructure of atoms..In the case that the quantifier free part is a conjunction of atomic formulas we have nothing else than the linear optimation problem, which is P-complete. In the case of two variables per atomic formula the problem is in NC..Also the case that all atoms are of the form Σ.....≥., such that .>0, is considered.
串通
发表于 2025-3-30 21:05:05
0302-9743 ntelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.978-3-540-52753-4978-3-540-47137-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
护航舰
发表于 2025-3-31 00:55:18
9楼
终点
发表于 2025-3-31 06:51:12
9楼
BIBLE
发表于 2025-3-31 11:42:24
9楼
legislate
发表于 2025-3-31 16:24:59
10楼
MUTED
发表于 2025-3-31 21:09:23
10楼
的是兄弟
发表于 2025-3-31 22:25:53
10楼