Results 241 to 250 of about 37,049 (259)
Some of the next articles are maybe not open access.
Non-Linear Rewrite Closure and Weak Normalization
Journal of Automated Reasoning, 2012Carles Creus +2 more
exaly
Termination of rewrite systems by elementary interpretations
Formal Aspects of Computing, 1995Pierre Lescanne
exaly
Right-linear half-monadic term rewrite systems
Theoretical Computer Science, 2003Sándor Vágvölgyi
exaly
Generalized rewrite theories, coherence completion, and symbolic methods
Journal of Logical and Algebraic Methods in Programming, 2020exaly
Uniqueness of Normal Forms for Shallow Term Rewrite Systems
ACM Transactions on Computational Logic, 2017Rakesh M Verma
exaly
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure
Lecture Notes in Computer Science, 2004Guillem Godoy +2 more
exaly