標(biāo)題: Titlebook: Word Equations and Related Topics; Second International Habib Abdulrab,Jean-Pierre Pécuchet Conference proceedings 1993 Springer-Verlag Ber [打印本頁(yè)] 作者: analgesic 時(shí)間: 2025-3-21 19:48
書目名稱Word Equations and Related Topics影響因子(影響力)
書目名稱Word Equations and Related Topics影響因子(影響力)學(xué)科排名
書目名稱Word Equations and Related Topics網(wǎng)絡(luò)公開度
書目名稱Word Equations and Related Topics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Word Equations and Related Topics被引頻次
書目名稱Word Equations and Related Topics被引頻次學(xué)科排名
書目名稱Word Equations and Related Topics年度引用
書目名稱Word Equations and Related Topics年度引用學(xué)科排名
書目名稱Word Equations and Related Topics讀者反饋
書目名稱Word Equations and Related Topics讀者反饋學(xué)科排名
作者: 伴隨而來 時(shí)間: 2025-3-21 21:46 作者: interrogate 時(shí)間: 2025-3-22 01:27 作者: 襲擊 時(shí)間: 2025-3-22 07:49
Conjugacy in free inverse monoids,r some u,v). Using the characterization of elements in free inverse monoids due to Munn, we show that restricted to non idempotents, the relation of conjugacy is the transitive closure of the relation of transposition. Furthermore, we show that conjugacy between two elements of a free inverse monoid can be tested in linear time.作者: Horizon 時(shí)間: 2025-3-22 12:11
A solution of the complement problem in associatiue-commutatiue theories,basis for automating the process of learning from examples, verifying the sufficient-completeness property of algebraic specifications, designing associative-commutative compilation algorithms, finding solutions of systems of equations and disequations in associative and commutative theories, etc.作者: moribund 時(shí)間: 2025-3-22 13:17
Conference proceedings 1993of Makanin‘salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on thesubsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories.作者: Esophagitis 時(shí)間: 2025-3-22 19:18
Word unification and transformation of generalized equations, generalized equations. We also prove that a combination of Plotkin‘s algorithm (see [P172], also [Le72]) and Makanin‘s algorithm offers a simple solution to the problem of terminating minimal and complete word unification.作者: Aviary 時(shí)間: 2025-3-22 22:50
0302-9743 rsity ofRouen in October1991.The papers are on the following topics: generalsolution ofword equations, conjugacy in free inverse monoids,generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of terminatio作者: 鐵砧 時(shí)間: 2025-3-23 04:57 作者: Yourself 時(shí)間: 2025-3-23 06:35
General A- and AX-unification via optimized combination procedures,ntioned (1) that the algorithm provides us with a decision procedure for the solvability of general .- and .-unification problems and (2) that Kapur and Narendran‘s result about the NP-decidability of the solvability of general .- and .-unification problems (see [KN91]) may be obtained from our resu作者: conquer 時(shí)間: 2025-3-23 09:54
The naming problem for left distributivity,ibe an algorithm for solving this question using conjugacy in a free group. The correctness of the algorithm is reduced to a conjecture involving some particular words. A skew version of the conjecture is established.作者: 慟哭 時(shí)間: 2025-3-23 15:11
Theorem proving by combinatorial optimization,wn that this problem can be formulated as a constraint satisfaction problem (CSP), whose system has a generalized covering type (we recall that a CSP consists in proving the emptiness of a domain defined by a set of diophantinc constraints, or the existence of a solution). We propose a new method -d作者: Osteoporosis 時(shí)間: 2025-3-23 19:11
Solving string equations with constant restrictions,, ..} of variables and a string equation ..... where .., .. ε (. ∪ .).. Furthermore sets .(..) ∈ ., 1 ≤ . <- ., are given which are called constant restrictions. A substitution . solves the equation s.... and satisfies the constant restrictions ..), 1 ≤ ., if σ(..) = .(..) and σ(..) . ((..)) ∪ .). f作者: 分開 時(shí)間: 2025-3-24 01:00
,LOP: Toward a new implementation of Makanin’s Algorithm,t express in a very natural way all the programming concepts needed in such an implementation..Then we describe a programming system LOP (Logic, Objects and Parallelism) aimed at integrating these paradigms.作者: 青石板 時(shí)間: 2025-3-24 05:59 作者: Engaging 時(shí)間: 2025-3-24 09:02
Unification in the combination of disjoint theories,titution unifies . if σ(.) . σ(.), i.e. σ(.), σ(.) are equivalent modulo theory ...In particular we give a unification algorithm for theories . = .. ∪ ? ∪ .. which are combinations of theories with disjoint signatures, ε(..) ∩ ε(..) = Φ for . ≠ .. Our method works if for each theory .. there exists 作者: 防銹 時(shí)間: 2025-3-24 11:07 作者: DRAFT 時(shí)間: 2025-3-24 16:24 作者: conduct 時(shí)間: 2025-3-24 22:34
Solving string equations with constant restrictions,ing the decision algorithm of Makanin we obtain an algorithm which decides whether or not a given string equation has a solution satisfying the constant restrictions. Furthermore we think that we have, as a by-product, a very nice presentation of Makanin‘s algorithm.作者: lipids 時(shí)間: 2025-3-25 03:00
0302-9743 hesubsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories.978-3-540-56730-1978-3-540-47636-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Anal-Canal 時(shí)間: 2025-3-25 06:09 作者: Irritate 時(shí)間: 2025-3-25 11:28 作者: Harbor 時(shí)間: 2025-3-25 12:44
ken ist unkritisch und unmethodisch, allen Ver-führungen des Hoffens, Meines und Glaubens willf?hrig hingegeben; wissenschaftliches dagegen eine kritisch-methodische Reflexion des Bewu?tseins auf seine Gegenst?nde, in der an die Stelle des Hoffens das Forschen, an die Stelle des Meinens das Beweisen作者: 無法破譯 時(shí)間: 2025-3-25 17:21 作者: CANDY 時(shí)間: 2025-3-25 23:29
Christian Choffrutensmikroskopischen Untersuchungen auch als lebend erwiesen.. Diese Schwierigkeit, die natürlich nicht nur für den Boden gilt, sondern auch z. B. für das Wasser mit seinen schwer zuchtbaren ., bedingt, da? es nur in Extremf?llen m?glich ist, die Zahl der Mikroorganismen in einem natürlichen Standort 作者: 慷慨不好 時(shí)間: 2025-3-26 01:13
Franz Baader,Klaus U. Schulz nehmen eine braune Farbe an und werden mit dem Sammelnamen ?Humus“ bezeichnet. Ihre Gegenwart bewirkt eine weitgehende Vernderung des Bodens. Er wird feucht, weil der Humus das Wasser z?h festh?lt, er wird infolgedessen auch kalt, reagiert sauer, und wegen dieser Ver?nderungen verlassen ihn alle gr作者: 貪心 時(shí)間: 2025-3-26 06:36
Patrick Dehornoylangsam durch Flüssigkeitsverlust und Substanzabbau an Volumen abnehmen. So bald diese ., die in der Regel 6% des Sch?delinhaltes nicht übersteigt, versagt, kommt es zur intrakraniellen Druckerh?hung (17,18). Eine Raumbeengung im Gro?hirnbereich, etwa eine Geschwulst, verdr?ngt in der ersten Phase d作者: 進(jìn)步 時(shí)間: 2025-3-26 08:28
em jenes unter allm?hlichen charakteristischen Ver?nderungen sich entwickelt hat. Die Formen, in denen beide sich vollziehen, sind dieselben: hier wie dort Urteile über Gegenst?nde, die durch andere Urteile begrifflich fixiert sind, und Schlüsse, die aus gegebenen Urteilen neue gewinnen lassen. Ziel作者: 美色花錢 時(shí)間: 2025-3-26 16:15 作者: –scent 時(shí)間: 2025-3-26 16:59 作者: 積習(xí)難改 時(shí)間: 2025-3-27 00:29
Franz Baader,Klaus U. Schulz den jüngsten Erdperioden angeh?rt und die auch noch in der Jetztzeit andauert, ist die Bildung des Torfes, die Vertorfung. Sie vollzieht sich noch heute vor unseren Augen in den von der Kultur unberührten Bodenfl?chen, wo die allj?hrlich absterbenden Pflanzenteile in Gegenwart von Wasser verfaulen.作者: 玩笑 時(shí)間: 2025-3-27 02:59
Patrick Dehornoylt besteht volumenm??ig überwiegend aus Hirngewebe, Blut und Liquor. Diese 3 Substanzen sind unkomprimierbar. Die ., wie man alle jene Vorg?nge und ihre Substrate nennt, die Platz im Sch?delinnenraum beanspruchen, müssen eine Abnahme der vorher im Sch?delinnenraum vorhandenen Massen herbeiführen (Mo作者: Occipital-Lobe 時(shí)間: 2025-3-27 06:38 作者: Melatonin 時(shí)間: 2025-3-27 10:58 作者: MEEK 時(shí)間: 2025-3-27 14:11
978-3-540-56730-1Springer-Verlag Berlin Heidelberg 1993作者: Lethargic 時(shí)間: 2025-3-27 19:40 作者: 摻和 時(shí)間: 2025-3-27 22:27
The naming problem for left distributivity,ibe an algorithm for solving this question using conjugacy in a free group. The correctness of the algorithm is reduced to a conjecture involving some particular words. A skew version of the conjecture is established.作者: 釋放 時(shí)間: 2025-3-28 04:39
,LOP: Toward a new implementation of Makanin’s Algorithm,t express in a very natural way all the programming concepts needed in such an implementation..Then we describe a programming system LOP (Logic, Objects and Parallelism) aimed at integrating these paradigms.作者: Filibuster 時(shí)間: 2025-3-28 08:51
On the subsets of rank two in a free monoid: A fast decision algorithm,Given a finite subset X of a free monoid A., we define the rank of X as r(X)=min{|Y|: X.Y.}. The problem we study here, is to decide whether r(X)≤2 or not. We propose an 0(n.ln.m) algorithm, where n stands for the sum of the lengths of the words in X, and m stands for the length of the longest word.作者: 去世 時(shí)間: 2025-3-28 13:48 作者: 顛簸地移動(dòng) 時(shí)間: 2025-3-28 14:41
Student Performance Prediction Using Classification Models,ere forced to shift to an online learning model rather than an offline, classroom-based learning model. The sudden change in the learning model impacted not only students but also the teaching faculty. Even though many resources are available online, simulating a classroom-like study environment is 作者: EVADE 時(shí)間: 2025-3-28 21:14
Ultrafiltration and Manufacture of Whey Protein Concentrates, unique physico-chemical and nutritional properties of the whey proteins (Kinsella & Whitehead, 1989) and the perceived value of WPCs as functional food ingredients (de Wit, 1984), together with concomitant advances in the design of commercial equipment, have undoubtedly been major contributing fact作者: periodontitis 時(shí)間: 2025-3-29 01:20 作者: 鑲嵌細(xì)工 時(shí)間: 2025-3-29 04:16 作者: 攤位 時(shí)間: 2025-3-29 10:22 作者: certitude 時(shí)間: 2025-3-29 12:04 作者: 衰老 時(shí)間: 2025-3-29 18:02 作者: aristocracy 時(shí)間: 2025-3-29 22:25
Clinical Aspects in Man,des, great progress has been made in understanding the pathological mechanisms, symptoms, and signs of human trichinosis as well as in more rational treatment of the infection. However, many aspects of clinical trichinosis still remain unknown or vague, due in part to the limited possibilities for studying trichinosis in man.作者: Creditee 時(shí)間: 2025-3-30 03:15
Proceedings of the 6th Brazilian Technology Symposium (BTSym’20)Emerging Trends and 作者: 戰(zhàn)勝 時(shí)間: 2025-3-30 05:33 作者: 貪心 時(shí)間: 2025-3-30 10:35
