default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th DCM 2012: Cambridge, UK
- Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 - Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. 3-16 - Miklós Bartha:
Quantum Turing automata. 17-31 - Ed Blakey:
Ray tracing - computing the incomputable? 32-40 - Eugen Jiresch:
Towards a GPU-based implementation of interaction nets. 41-53 - Aleks Kissinger
, Alex Merry, Matvey Soloviev:
Pattern Graph Rewrite Systems. 54-66 - Elvira Mayordomo:
Effective dimension in some general metric spaces. 67-75 - Benedek Nagy, Sándor Vályi:
Computing discrete logarithm by interval-valued paradigm. 76-86 - Arno Pauly, Matthew de Brecht:
Non-deterministic computation and the Jayne-Rogers Theorem. 87-96 - Sam Sanders:
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. 97-109
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-20 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
