古董
发表于 2025-3-25 03:28:31
http://reply.papertrans.cn/83/8300/829963/829963_21.png
DEAWL
发表于 2025-3-25 09:00:45
Origin tracking in term rewriting,g and in higher-order rewriting, such as lambda calculus. Recently this classical notion has been given much attention. On the one hand, the notion has been studied in an abstract, axiomatic way, in order to isolate the essential properties of the descendant concept. On the other hand descendants we
Gesture
发表于 2025-3-25 12:07:10
http://reply.papertrans.cn/83/8300/829963/829963_23.png
玩忽职守
发表于 2025-3-25 16:38:02
http://reply.papertrans.cn/83/8300/829963/829963_24.png
INCUR
发表于 2025-3-25 23:05:58
Automatic monoids versus monoids with finite convergent presentations,hrough finite automata based on a regular set of (not necessarily unique) representatives for the group, and hence, each automatic group has a tractable word problem and low derivational complexity. Consequently it has been asked whether corresponding results also hold for .. Here we show that there
认为
发表于 2025-3-26 03:03:44
http://reply.papertrans.cn/83/8300/829963/829963_26.png
斜坡
发表于 2025-3-26 08:21:11
On the exponent of periodicity of minimal solutions of context equations,ation was proved by Makanin, the decidability of context unification is currently an open question. This paper provides a step in understanding the complexity of context unification and the structure of unifiers. It is shown, that if a context unification problem of size . is unifiable, then there i
原告
发表于 2025-3-26 09:55:02
Unification in extensions of shallow equational theories,standard equational theories. In order to prove decidability of unification in the extensions, a class of Horn clause sets called sorted shallow equational theories is introduced. This class is a natural extension of tree automata with equality constraints between brother subterms as well as shallow
arthroscopy
发表于 2025-3-26 15:40:05
Unification and matching in process algebras, as two process algebraic terms with . variables are said to be compatible modulo some equivalence relation if a substitution on the free variables can make the resulting terms equivalent modulo that relation. We formulate this compatibility (modulo an equivalence relation) checking problems as . in
流浪者
发表于 2025-3-26 19:48:07
http://reply.papertrans.cn/83/8300/829963/829963_30.png