得罪人
发表于 2025-3-25 04:52:55
http://reply.papertrans.cn/23/2202/220111/220111_21.png
Cpap155
发表于 2025-3-25 09:45:22
A class of tree-like UNION-FIND data structures and the nonlinearity,This paper defines a class of tree-like data structures for the UNION-FIND problem. A structure from this class is injectable in another if each tree in the latter one can be obtained as a result of some program in the former as well. By means of injection of structures the nonlinearity in this class is proved.
anthesis
发表于 2025-3-25 14:55:40
http://reply.papertrans.cn/23/2202/220111/220111_23.png
使入迷
发表于 2025-3-25 18:00:13
Algebraic theory of parameterized specifications with requirements,eloped for the basic algebraic approach can be fully extended to the case with requirements. The basic result is an extension lemma which allows to show correctness of parameter passing and associativity of nested parameterized specifications like . (. (.)). Correctness of such composite specificati
动脉
发表于 2025-3-25 22:52:44
Trees as data and file structures,us refinements and generalizations of the old programming trick called hashing have caused an unexpected extension of the domain of applicability of address computation techniques to dynamic files and multi-key access..This paper surveys the history of data structures used for tables, files or recor
木讷
发表于 2025-3-26 02:23:22
http://reply.papertrans.cn/23/2202/220111/220111_26.png
沐浴
发表于 2025-3-26 06:27:52
http://reply.papertrans.cn/23/2202/220111/220111_27.png
窃喜
发表于 2025-3-26 11:29:30
A modal characterisation of observable machine-behaviour,
拾落穗
发表于 2025-3-26 15:40:23
http://reply.papertrans.cn/23/2202/220111/220111_29.png
配偶
发表于 2025-3-26 17:56:38
How to compute generators for the intersection of subgroups in free groups,