scientific article; zbMATH DE number 1487501
From MaRDI portal
Publication:4493910
zbMath0953.68097MaRDI QIDQ4493910
Rosa M. Jiménez, Fernando Orejas
Publication date: 29 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication: