Bone-Scan
发表于 2025-3-23 11:44:38
http://reply.papertrans.cn/39/3802/380188/380188_11.png
锡箔纸
发表于 2025-3-23 17:21:08
Parallelverarbeitung in Netzwerk-Basierten Systemen mit Inhibitionsmechanismen die kongruente Aktivierung von Wissenskontexten in partitionierten Netzwerken erlaubt. Daher wird die Renshaw-Inhibition als Ergänzung zu Modellen der Aktivationsausbreitung vorgeschlagen.
Decimate
发表于 2025-3-23 19:42:11
http://reply.papertrans.cn/39/3802/380188/380188_13.png
Comprise
发表于 2025-3-23 23:09:44
Ein Beweisverfahren für Datenbankprädikateeweissuche“ bzw. die „Konstruktion von Gegenbeispielen“ wird auf die Suche nach Zyklen in verschiedenen Graphen reduziert. Dieses spezielle Beweisverfahren kann alle im vollen relationalen Kalkül formulierbaren Datenmengen testen.
净礼
发表于 2025-3-24 05:18:15
Introduction to Microarray Data Analysis,confluence for globally finite relations. In this paper we give a theoretical framework for this extension. We will show how this theory can be applied to term rewriting systems, if we are mainly interested in the initial algebra which is induced by the set of rules.
helper-T-cells
发表于 2025-3-24 08:56:41
Robustness Analysis of Flexible Structuresitary and finitary theories. We show that the class of (non-unitary) finitary theories cannot be decomposed into a hierarchy obtained by uniformly bounding the cardinalities of the sets of most general unifiers. Hence, one cannot use the notion of “bounded size” to characterize the difference between finitary and unitary theories.
竞选运动
发表于 2025-3-24 11:37:46
Completion of Globally Finite Term Rewriting Systems for Inductive Proofsconfluence for globally finite relations. In this paper we give a theoretical framework for this extension. We will show how this theory can be applied to term rewriting systems, if we are mainly interested in the initial algebra which is induced by the set of rules.
HERTZ
发表于 2025-3-24 18:25:11
On the Unification Hierarchyitary and finitary theories. We show that the class of (non-unitary) finitary theories cannot be decomposed into a hierarchy obtained by uniformly bounding the cardinalities of the sets of most general unifiers. Hence, one cannot use the notion of “bounded size” to characterize the difference between finitary and unitary theories.
键琴
发表于 2025-3-24 22:25:42
https://doi.org/10.1007/978-94-011-7683-5 be of some lesser sort S’. The heart of such a calculus is the unification algorithm for terms, which respects the declarations. In this paper it is shown, that the set of most general DS-unifiers is recursively enumerable and that such a set may be infinite. Furthermore, it is shown, that it is undecidable, whether two terms are DS-unifiable.
别名
发表于 2025-3-24 23:44:26
Colin J. Theaker,Graham R. Brookesof combined functional and logic programming languages are defined. An extended unification algorithm which additonally handles functional expressions is formally introduced to evaluate programs written in those languages. Finally, an implementation of the proposed system is described.