scientific article; zbMATH DE number 6307924
From MaRDI portal
Publication:4981439
zbMath1315.03043MaRDI QIDQ4981439
Mark Bickford, Robert L. Constable
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication: