comely
发表于 2025-3-23 11:43:33
http://reply.papertrans.cn/23/2202/220113/220113_11.png
badinage
发表于 2025-3-23 14:34:48
http://reply.papertrans.cn/23/2202/220113/220113_12.png
Foregery
发表于 2025-3-23 21:22:39
https://doi.org/10.1007/3-540-29359-0ion procedures for certain kinds of interval logics. One system of interval logic is considered, and its associated system of machines is constructed. With this construction we also obtain a kind of translation between this interval logic and extended discrete propositional linear temporal logic.
让步
发表于 2025-3-23 23:07:16
http://reply.papertrans.cn/23/2202/220113/220113_14.png
山羊
发表于 2025-3-24 02:31:19
On completeness of narrowing strategies,ound complete set of E-unifiers are given; as well as an algorithm transforming specifications satisfying Huet and Hullot‘s principle of definition, into specifications fulfilling the proposed criteria.
Entirety
发表于 2025-3-24 08:44:53
http://reply.papertrans.cn/23/2202/220113/220113_16.png
金哥占卜者
发表于 2025-3-24 10:46:19
Unification in primal algebras,s..Two applications are studied in more detail: Post algebras and matrix rings over finite fields. The former are algebraic models for many-valued logics, the latter cover in particular modular arithmetic..It is indicated that the results extend to arbitrary varieties of primal algebras which include all Boolean and Post algebras and .-rings.
假设
发表于 2025-3-24 16:38:20
Product and iteration of module specifications,odule. The iteration of a module M can be viewed as the limit of a sequence of products of the module with itself. The construction is shown to be well defined and to provide a solution to a fixed point equation at the specification level. More general recursive definitions are discussed and certain fixed point equations solved.
fender
发表于 2025-3-24 21:42:09
http://reply.papertrans.cn/23/2202/220113/220113_19.png
gruelling
发表于 2025-3-25 00:57:18
Interval logics and sequential transducers,ion procedures for certain kinds of interval logics. One system of interval logic is considered, and its associated system of machines is constructed. With this construction we also obtain a kind of translation between this interval logic and extended discrete propositional linear temporal logic.