Alpha-Conversion and Typability
| Autor: | Kfoury, A.J., Ronchi della Rocca, S., Tiuryn, J., Urzyczyn, P. |
|---|---|
| Zdroj: | In Information and Computation 10 April 1999 150(1):1-21 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Kfoury, A.J., Ronchi della Rocca, S., Tiuryn, J., Urzyczyn, P. |
|---|---|
| Zdroj: | In Information and Computation 10 April 1999 150(1):1-21 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect