scientific article
From MaRDI portal
Publication:2762147
zbMath1025.03037MaRDI QIDQ2762147
Publication date: 11 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
A Characterization of Distributed ASMs with Partial-Order Runs ⋮ What Is an Algorithm? ⋮ What is the Church-Turing Thesis? ⋮ The never-ending recursion ⋮ On primitive recursive algorithms and the greatest common divisor function ⋮ Language for Description of Worlds. Part 2: The Sample World ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Proof-theoretic notions for software maintenance ⋮ Axiomatization and characterization of BSP algorithms ⋮ Abstract state machines: a unifying view of models of computation and of system design frameworks ⋮ A Behavioural Theory of Recursive Algorithms
This page was built for publication: