Results 271 to 280 of about 324,410 (283)

Counterexamples to termination for the direct sum of term rewriting systems

Information Processing Letters, 1987
exaly  

Rewriting

2019
openaire   +2 more sources

On the adequacy of graph rewriting for simulating term rewriting

ACM Transactions on Programming Languages and Systems, 1994
exaly  

Rewriting

2017
  +4 more sources

Maude: specification and programming in rewriting logic

Theoretical Computer Science, 2002
exaly  

Decidability for Left-Linear Growing Term Rewriting Systems

Information and Computation, 2002
exaly  

Rewriting

2001
Nachum Dershowitz, David A. Plaisted
openaire   +1 more source

Rewriting

2015
openaire   +1 more source

Reflection in conditional rewriting logic

Theoretical Computer Science, 2002
exaly  

Rewriting homilies and homilies rewriting

openaire   +1 more source