Results 291 to 300 of about 12,133 (300)
Some of the next articles are maybe not open access.
Relative Undecidability in Term RewritingI. The Termination Hierarchy
Information and Computation, 2002Aart Middeldorp +2 more
exaly
Reachability and confluence are undecidable for flat term rewriting systems
Information Processing Letters, 2003Florent Jacquemard
exaly
Relative Undecidability in Term RewritingII. The Confluence Hierarchy
Information and Computation, 2002Aart Middeldorp +2 more
exaly
Verifying and improving Halide’s term rewriting system with program synthesis
2020Rastislav Bodik +2 more
exaly
Deciding confluence of certain term rewriting systems in polynomial time
Annals of Pure and Applied Logic, 2004Ashish Tiwari
exaly
Modular term rewriting systems and the termination
Information Processing Letters, 1990Ikuo Kaji
exaly