scientific article
From MaRDI portal
Publication:3777429
zbMath0637.68014MaRDI QIDQ3777429
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Equational logic, Mal'tsev conditions (08B05) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (2)
This page was built for publication: