Term-graph Rewriting in Tom Using Relative Positions

Autor: Balland, Emilie, Brauner, Paul
Zdroj: In Electronic Notes in Theoretical Computer Science 28 March 2008 203(1):3-17
Databáze: ScienceDirect