Publication:4267174
From MaRDI portal
zbMath0931.68044MaRDI QIDQ4267174
Publication date: 22 September 1999
Related Items
Axiomatization and characterization of BSP algorithms, ASMs and Operational Algorithmic Completeness of Lambda Calculus
Uses Software