Results 281 to 290 of about 626,551 (298)
Some of the next articles are maybe not open access.
Rewriting America/Dany Laferrière's Rewriting
Contemporary French and Francophone Studies, 2011openaire +1 more source
Code Generation via Higher-Order Rewrite Systems
Fuji International Symposium on Functional and Logic Programming, 2010Florian Haftmann, T. Nipkow
semanticscholar +1 more source
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996openaire +1 more source
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems
CADE, 2011Lars Noschinski, Fabian Emmes, J. Giesl
semanticscholar +1 more source