scientific article
From MaRDI portal
Publication:3113768
DOI10.4230/LIPICS.STACS.2010.2473zbMath1230.68070MaRDI QIDQ3113768
Serge Grigorieff, Pierre Valarcher
Publication date: 23 January 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_e5ab.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universalitycomputabilityabstract state machineslogic in computer sciencetheory of algorithmssequential computationmodels of machines
Related Items (2)
Physical Computational Complexity and First-order Logic ⋮ Axiomatization and characterization of BSP algorithms
This page was built for publication: