Concepedia

Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)

Femke van Raamsdonk

Rewriting Techniques and Applications · 2013 · 14 citations · 0 references

Concepts