TY  - JOUR
AU  - Piperno, Adolfo
AU  - Tronci, Enrico
PY  - 1990
DA  - 1990//
TI  - Regular Systems of Equations in λ-calculus
JO  - Int. J. Found. Comput. Sci.
SP  - 325
EP  - 340
VL  - 1
IS  - 3
AB  - Many problems arising in equational theories like Lambda-calculus and Combinatory Logic can be expressed by combinatory equations or systems of equations. However, the solvability problem for an arbitrarily given class of systems is in general undecidable. In this paper we shall focus our attention on a decidable class of systems, which will be called regular systems, and we shall analyse some classical problems and well-known properties of Lambda-calculus that can be described and solved by means of regular systems. The significance of such class will be emphasized showing that for slight extensions of it the solvability problem turns out to be undecidable.
L1  - http://mclab.di.uniroma1.it/publications/papers/piperno/1990/60_Piperno+Tronci1990.pdf
UR  - https://doi.org/10.1142/S0129054190000230
DO  - 10.1142/S0129054190000230
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=60), last updated on Wed, 05 Oct 2016 12:42:23 +0200
ID  - Piperno+Tronci1990
ER  -