Results 251 to 260 of about 324,410 (283)
Some of the next articles are maybe not open access.

Term rewriting with traversal functions

ACM Transactions on Software Engineering and Methodology, 2003
Jurgen J Vinju
exaly  

ELAN from a rewriting logic point of view

Theoretical Computer Science, 2002
Peter Borovansky   +2 more
exaly  

Nominal rewriting

Information and Computation, 2007
Maribel Fernandez, Murdoch J Gabbay
exaly  

Rewriting America/Dany Laferrière's Rewriting

Contemporary French and Francophone Studies, 2011
openaire   +1 more source

Termination of term rewriting using dependency pairs

Theoretical Computer Science, 2000
Thomas Arts, Jürgen Giesl
exaly  

Lazy rewriting on eager machinery

ACM Transactions on Programming Languages and Systems, 2000
Wan J Fokkink
exaly  

REWRITALIZE

2021
Bundesen, Birgit, Rosenbaum, Bent
openaire   +1 more source

Home - About - Disclaimer - Privacy