阴险
发表于 2025-3-26 22:56:14
Combining algebra and universal algebra in first-order theorem proving: The case of commutative rinsuperposition calculus are redundant. This result is obtained by the judicious application of the simplification techniques afforded by convergent rewriting and by a process called symmetrization that embeds inferences between single clauses and ring axioms.
戏法
发表于 2025-3-27 02:17:51
http://reply.papertrans.cn/83/8235/823427/823427_32.png
Hamper
发表于 2025-3-27 05:16:56
http://reply.papertrans.cn/83/8235/823427/823427_33.png
GRUEL
发表于 2025-3-27 13:17:39
Dynamic abstract data types based on algebraic graph transformations,gebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases.
浪费时间
发表于 2025-3-27 15:54:46
Axiomatic specification of large information systems: Experiences and consequences,oblematic issues are pointed out regarding the results of the case study, and proposals for a further improvement are made. The systematic usage of a hybrid approach mixing semi-formal and formal notation is strongly recommended for the precise specification of large application systems.
cardiopulmonary
发表于 2025-3-27 17:55:10
http://reply.papertrans.cn/83/8235/823427/823427_36.png
neutral-posture
发表于 2025-3-27 22:08:00
http://reply.papertrans.cn/83/8235/823427/823427_37.png
网络添麻烦
发表于 2025-3-28 03:03:18
From abstract data types to logical frameworks,fication and programming paradigms can be cleanly combined with the equational one; we discuss several of these extensions, including rewriting logic, which unifies equational, Horn, object-oriented, and concurrent specification and programming..These two lines of research converge in the idea of a
HIKE
发表于 2025-3-28 10:18:16
Transactions in object-oriented specifications,trarily interleaved. We envisage a denotational semantics based on event structures in which the sequential composition of transactions can be appropriately liberalized and outline the ideas by giving some examples.
妨碍
发表于 2025-3-28 11:32:33
Local specification of distributed families of sequential objects,as initial elements, and so has the full subcategory of those satisfying given temporal axioms. As in abstract data type theory, these initial elements are obvious candidates for assigning standard semantics to signatures and specifications.