| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Böhm, Corrado; Tronci, Enrico | About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus | 1991 | Inf. Comput. | 10.1016/0890-5401(91)90057-9 | 90 | 1-32 |