Affectation
发表于 2025-3-26 23:47:25
0302-9743The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.978-3-540-19021-9978-3-540-38930-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
cutlery
发表于 2025-3-27 04:46:02
https://doi.org/10.1007/b117574ons of linear lists, priority queues and dictionaries. The problem of finding the limiting distributions is also considered and the linear list case is treated in detail. The method uses continued fractions and orthogonal polynomials but in a paper in preparation, we show that the same results can b
PACK
发表于 2025-3-27 05:33:55
A tree pattern matching algorithm with reasonable space requirements,
pus840
发表于 2025-3-27 11:16:52
http://reply.papertrans.cn/23/2202/220113/220113_34.png
ABASH
发表于 2025-3-27 16:05:17
http://reply.papertrans.cn/23/2202/220113/220113_35.png
大沟
发表于 2025-3-27 21:30:35
http://reply.papertrans.cn/23/2202/220113/220113_36.png
到婚嫁年龄
发表于 2025-3-28 00:07:05
,Analysis of dynamic algorithms in D.E.Knuth’s model,tive (resp. negative) queries Q. (resp.Q.) under the following assumptions: if the size of the data structure is k (k ε N), then the number of possibilities for the operations D and Q. is a linear function of k, whereas the number of possibilities for the i-th insertion or negative query is equal to
说明
发表于 2025-3-28 02:57:13
On completeness of narrowing strategies,em relating narrowing and reduction relations. The completeness of narrowing strategies is proved and conditions for the computation of a "minimal" ground complete set of E-unifiers are given; as well as an algorithm transforming specifications satisfying Huet and Hullot‘s principle of definition, i
预兆好
发表于 2025-3-28 07:05:50
Implementing term rewrite languages in Dactl,the limited form of graph rewriting which is commonly used to implement functional languages such as Miranda, ML, Hope, and Clean. In contrast to these functional languages, where the order in which subterms are evaluate (the .) is fixed for all programs, in Dactl the evaluation strategy is programm
Foreknowledge
发表于 2025-3-28 13:03:32
Unification in primal algebras, all solutions and coding them up in a single vector of terms. The other two methods are generalizations of unification algorithms for Boolean algebras..Two applications are studied in more detail: Post algebras and matrix rings over finite fields. The former are algebraic models for many-valued log