scientific article
From MaRDI portal
Publication:2849558
zbMath1272.68108MaRDI QIDQ2849558
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053290
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Towards Erlang Verification by Term Rewriting ⋮ Equational Abstractions for Reducing the State Space of Rewrite Theories
Uses Software
This page was built for publication:
