scientific article; zbMATH DE number 1418339
From MaRDI portal
Publication:4941902
zbMath0955.68023MaRDI QIDQ4941902
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Extracting total Amb programs from proofs ⋮ On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't
This page was built for publication:
