circuit
发表于 2025-3-26 22:38:00
Karl Moraschthe closure under isomorphism of the class of proper .-structures over finite bases. Based on previous work, we prove that membership of .(.) is undecidable when . or ., and for any of these signatures . if converse is excluded from . then membership of .(.) is also undecidable, for finite .-structu
冷淡一切
发表于 2025-3-27 03:43:50
http://reply.papertrans.cn/88/8791/879046/879046_32.png
挖掘
发表于 2025-3-27 08:54:27
8楼
障碍
发表于 2025-3-27 13:12:33
8楼
衰老
发表于 2025-3-27 15:55:18
9楼
Indecisive
发表于 2025-3-27 18:21:34
9楼
Delude
发表于 2025-3-28 01:56:56
9楼
ordain
发表于 2025-3-28 02:15:47
9楼
granite
发表于 2025-3-28 09:49:24
10楼
细查
发表于 2025-3-28 10:30:18
10楼