florid
发表于 2025-3-25 03:55:03
Alogtime algorithms for tree isomorphism, comparison, and canonization, a natural ordering on trees. We present alternating logarithmic time algorithms for the tree isomorphism problem, the tree canonization problem and the tree comparison problem. As a consequence, there is a recursive enumeration of the alternating log time tree problems.
Opponent
发表于 2025-3-25 07:37:27
Subtyping over a lattice (abstract),as a solution then there is a solution whose alternating dag is of polynomial size in the size of the original system. There are examples showing that the well known dag representation of types is not good enough for this purpose, already for the two-element lattice.
Vital-Signs
发表于 2025-3-25 15:08:02
NaDSyL and some applications, completeness and the eliminability of cut are sketched along with three applications: The foundations for recursive definitions of well-founded and non-well founded predicates, classical and intuitionistic second order arithmetic, and a study of Cantor‘s diagonal argument and paradox.
vocation
发表于 2025-3-25 17:32:17
http://reply.papertrans.cn/24/2327/232619/232619_24.png
宽度
发表于 2025-3-25 22:58:14
Restart tableaux with selection function,ableau calculi which generalize these on the ground level. This makes differences and similarities between the calculi clearer and, in addition, gives insight into how properties of the calculi can be transferred among them. In particular, a precise borderline separating proof confluent from non-proof confluent variants is exhibited.
渗透
发表于 2025-3-26 04:02:54
http://reply.papertrans.cn/24/2327/232619/232619_26.png
恸哭
发表于 2025-3-26 07:32:03
http://reply.papertrans.cn/24/2327/232619/232619_27.png
aviator
发表于 2025-3-26 09:48:49
http://reply.papertrans.cn/24/2327/232619/232619_28.png
heterogeneous
发表于 2025-3-26 12:54:12
http://reply.papertrans.cn/24/2327/232619/232619_29.png
ENDOW
发表于 2025-3-26 18:28:12
http://reply.papertrans.cn/24/2327/232619/232619_30.png