scientific article; zbMATH DE number 3390247
From MaRDI portal
Publication:5659061
zbMath0246.68007MaRDI QIDQ5659061
No author found.
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)
Related Items (7)
A propositional logic with 4 values: true, false, divergent and meaningless ⋮ A survey of state vectors ⋮ A difference in complexity between recursion and tail recursion ⋮ From systems to logic in the early development of nonmonotonic reasoning ⋮ Bochvar-McCarthy logic and process algebra ⋮ Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't
This page was built for publication:
