TY  - JOUR
AU  - Böhm, Corrado
AU  - Tronci, Enrico
PY  - 1991
DA  - 1991//
TI  - About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus
JO  - Inf. Comput.
SP  - 1
EP  - 32
VL  - 90
IS  - 1
UR  - https://doi.org/10.1016/0890-5401(91)90057-9
DO  - 10.1016/0890-5401(91)90057-9
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=59), last updated on Thu, 22 Nov 2012 15:00:12 +0100
ID  - BAPhm+Tronci1991
ER  -