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 |
Externí odkaz: |
Autor: | Balland, Emilie, Brauner, Paul |
---|---|
Zdroj: | In Electronic Notes in Theoretical Computer Science 28 March 2008 203(1):3-17 |
Databáze: | ScienceDirect |
Externí odkaz: |