扔掉掐死你
发表于 2025-3-25 03:50:57
http://reply.papertrans.cn/83/8300/829953/829953_21.png
美丽的写
发表于 2025-3-25 10:07:30
Undecidability of the ,Part of the Theory of Ground Term Algebra Modulo an AC SymbolWe show that the .part of the equational theory modulo an AC symbol is undecidable. This solves the open problem 25 from the RTA list (,,)
波动
发表于 2025-3-25 14:12:02
http://reply.papertrans.cn/83/8300/829953/829953_23.png
神圣将军
发表于 2025-3-25 16:32:43
http://reply.papertrans.cn/83/8300/829953/829953_24.png
悦耳
发表于 2025-3-25 23:19:12
https://doi.org/10.1007/3-540-48685-2Automat; Constraint; Graph Rewriting; Higher Order Rewriting; Lex; String Rewriting; Term Rewriting; Theore
fibroblast
发表于 2025-3-26 03:47:52
Normalisation in Weakly Orthogonal Rewriting(head-)normalising for almost orthogonal rewrite systems. We study (head-)normalisation for the larger class of weakly orthogonal rewrite systems. (Infinitary) normalisation is established and a counterexample against head-normalisation is given.
MOAT
发表于 2025-3-26 05:15:16
http://reply.papertrans.cn/83/8300/829953/829953_27.png
易弯曲
发表于 2025-3-26 10:18:01
A Characterisation of Multiply Recursive Functions with Higman’s Lemmaisation of the expressiveness of Higman’s lemma when applied to rewriting theory. The underlying argument of our construction is to connect the order type and the derivation length via the Hardy hierarchy.
易碎
发表于 2025-3-26 13:52:57
Normalization via Rewrite Closures a rewrite closure, which is a generalization of the idea of a congruence closure. Our results generalize previous results on congruence closure-based normalization methods. The description of known methods within our formalism also allows a better understanding of these procedures.
PANEL
发表于 2025-3-26 18:56:04
978-3-540-66201-3Springer-Verlag Berlin Heidelberg 1999