Rewriting Higher-Order Stack Trees.
| Autor: | Penelle, Vincent |
|---|---|
| Zdroj: | Theory of Computing Systems. Aug2017, Vol. 61 Issue 2, p536-580. 45p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Penelle, Vincent |
|---|---|
| Zdroj: | Theory of Computing Systems. Aug2017, Vol. 61 Issue 2, p536-580. 45p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|