扔掉掐死你 发表于 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; Theorefibroblast 发表于 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