Influx
发表于 2025-3-26 21:26:06
978-3-030-13928-5Springer Nature Switzerland AG 2019
Rheumatologist
发表于 2025-3-27 01:43:22
Information and Communication Technologies in Education, Research, and Industrial Applications978-3-030-13929-2Series ISSN 1865-0929 Series E-ISSN 1865-0937
OPINE
发表于 2025-3-27 05:42:54
http://reply.papertrans.cn/47/4659/465820/465820_33.png
强化
发表于 2025-3-27 12:59:03
http://reply.papertrans.cn/47/4659/465820/465820_34.png
hieroglyphic
发表于 2025-3-27 13:41:34
http://reply.papertrans.cn/47/4659/465820/465820_35.png
嘲笑
发表于 2025-3-27 19:24:08
http://reply.papertrans.cn/47/4659/465820/465820_36.png
rods366
发表于 2025-3-27 22:27:01
http://reply.papertrans.cn/47/4659/465820/465820_37.png
nonplus
发表于 2025-3-28 03:23:28
1865-0929 nologies in Education, Research, and Industrial Applications, ICTERI 2018, held in Kyiv, Ukraine, in May 2018..The 14 revised full papers included in this volume along with one invited full paper were carefully reviewed and selected from 257 initial submissions. The papers are organized in the follo
异端邪说2
发表于 2025-3-28 10:13:09
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complementmposition of predicate complement. The obtained logic is called the Complemented Partial Floyd-Hoare Logic (CPFHL). The predicate component of this logic is related to three-valued logic. We prove the soundness theorem for CPFHL and discuss further investigations of the problem. The obtained results can be useful for software verification.
GROWL
发表于 2025-3-28 10:48:45
Category Methods for Modelling Logical Time Based on the Concept of Clocksn valid for the generalisation under consideration. In addition, the proposed generalisation gives a tool for identifying in category-theoretic terms the concepts of global clocks and synchronisation processes.