Results 241 to 250 of about 15,524 (267)
Some of the next articles are maybe not open access.
Counterexamples to termination for the direct sum of term rewriting systems
Information Processing Letters, 1987Yoshihito Toyama
exaly
On the adequacy of graph rewriting for simulating term rewriting
ACM Transactions on Programming Languages and Systems, 1994J W Klop, Andrew W Appel
exaly
Termination of term rewriting using dependency pairs
Theoretical Computer Science, 2000Thomas Arts, Jürgen Gießl
exaly
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems, 2000Wan Fokkink, William Pugh
exaly
Verifying Procedural Programs via Constrained Rewriting Induction
ACM Transactions on Computational Logic, 2017Carsten Fuhs +2 more
exaly
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996openaire +1 more source
Hierarchical Nominal Terms and Their Theory of Rewriting
Electronic Notes in Theoretical Computer Science, 2007Murdoch J Gabbay
exaly
Maude: specification and programming in rewriting logic
Theoretical Computer Science, 2002FRANCISCO Duran, S Eker, P Lincoln
exaly