Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Natural rewriting for general term rewriting systems
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
| Hi-index | 0.00 |