痛苦一生
发表于 2025-3-23 11:05:21
Sort inheritance for order-sorted equational presentations,d for unification in this context. A test and three specific processes, based on completion of a set of rewrite rules, are proposed to check sort inheritance. They depend on the kinds of membership formulas (.) allowed in the specifications: flat and linear, shallow and general terms . are studied.
mitten
发表于 2025-3-23 13:56:36
0302-9743four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.978-3-540-59132-0978-3-540-49198-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
anagen
发表于 2025-3-23 18:56:08
Combining algebra and universal algebra in first-order theorem proving: The case of commutative rinr theorem proving problems specified by sets of first-order clauses that, contain the axioms of a commutative ring with a unit element. Associative-commutative superposition forms the deductive core of our method, while a convergent rewrite system for commutative rings provides a starting point for
许可
发表于 2025-3-24 00:37:18
http://reply.papertrans.cn/83/8235/823427/823427_14.png
Notorious
发表于 2025-3-24 04:08:31
From abstract data types to logical frameworks,neralization that has led to the development of axiomatic notions of logic and of expressive multiparadigm logics. On the one hand, the generalization from equational specifications to specifications in any logic requires general metalogical concepts making precise what logics are. Beginning with th
eulogize
发表于 2025-3-24 09:51:31
Algebraic specification languages: An overview, structuring mechanisms. In this paper a survey of algebraic specification languages is given together with hints to extensions towards imperative, object-oriented, concurrent, functional and logic programming. The main concepts for specification “in the small” and “in the large” are given and their
Licentious
发表于 2025-3-24 12:02:39
http://reply.papertrans.cn/83/8235/823427/823427_17.png
Fermentation
发表于 2025-3-24 17:57:43
http://reply.papertrans.cn/83/8235/823427/823427_18.png
独裁政府
发表于 2025-3-24 22:34:56
Behavioural theories,ce relation, called .. In this paper we first show how to reduce the behavioural theory of any class . of .-algebras to (a subset of) the standard theory of some corresponding class of algebras. Then we consider infinitary axiomatizations of the behavioural equality and we define a general condition
MUT
发表于 2025-3-24 23:32:54
http://reply.papertrans.cn/83/8235/823427/823427_20.png