scientific article
From MaRDI portal
Publication:2848153
zbMath1272.68266MaRDI QIDQ2848153
Martin Lange, Hans-Wolfgang Loidl
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001726
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
