Diluge
发表于 2025-3-25 06:55:29
978-3-662-55385-5Springer-Verlag GmbH Germany 2017
祖传财产
发表于 2025-3-25 11:05:19
http://reply.papertrans.cn/59/5881/588063/588063_22.png
不规则
发表于 2025-3-25 14:49:34
Multi-type Display Calculus for Semi De Morgan Logic,We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.
PLE
发表于 2025-3-25 16:42:58
Graph Turing Machines, ordinary Turing machines and cellular automata. In this extended abstract, we give bounds on the computational strength of functions that graph Turing machines can compute. We also begin the study of the relationship between the computational power of a graph Turing machine and structural properties of its underlying graph.
祖传
发表于 2025-3-25 20:34:24
http://reply.papertrans.cn/59/5881/588063/588063_25.png
谷类
发表于 2025-3-26 01:07:09
Shift Registers Fool Finite Automata, in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity . is close to maximal: ., where . is the length of .. In contrast, Hyde has shown . for all sequences . of length ..
thrombus
发表于 2025-3-26 07:17:42
http://reply.papertrans.cn/59/5881/588063/588063_27.png
命令变成大炮
发表于 2025-3-26 11:07:02
http://reply.papertrans.cn/59/5881/588063/588063_28.png
Ringworm
发表于 2025-3-26 15:32:26
http://reply.papertrans.cn/59/5881/588063/588063_29.png
信任
发表于 2025-3-26 20:46:09
http://reply.papertrans.cn/59/5881/588063/588063_30.png