scientific article; zbMATH DE number 3590261
From MaRDI portal
Publication:4159365
zbMath0379.02015MaRDI QIDQ4159365
E. A. Ashcroft, Matthew C. B. Hennessy
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40) Algorithms in computer science (68W99)
Related Items (9)
A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Parameter passing in nondeterministic recursive programs ⋮ Lazy Relations ⋮ On the complexity of \(\omega\)-type Turing acceptors ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Unnamed Item ⋮ Formal computations of non deterministic recursive program schemes ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ Nondeterministic three-valued logic: isotonic and guarded truth-functions
This page was built for publication:
