scientific article
From MaRDI portal
Publication:3024917
zbMath1063.03526MaRDI QIDQ3024917
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
This page was built for publication: