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: |