Nondeterministic Algorithms
From MaRDI portal
Publication:5532796
DOI10.1145/321420.321422zbMath0153.47006OpenAlexW2292996153WikidataQ56388131 ScholiaQ56388131MaRDI QIDQ5532796
Publication date: 1967
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321420.321422
Related Items
Amorphous computing: examples, mathematics and theory ⋮ Formal correctness proofs of a nondeterministic program ⋮ Efficient slide attacks ⋮ L.P.L. A fuzzy programming language. I: Syntactic aspects ⋮ A structured program to generate all topological sorting arrangements ⋮ Fifty Years of Prolog and Beyond ⋮ L.P.L. - A fuzzy programming language. II: Semantic aspects ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ A matching logic foundation for Alk ⋮ A New Algorithm for the Unbalanced Meet-in-the-Middle Problem ⋮ Agent planning programs ⋮ Generalizing Cook's transformation to imperative stack programs ⋮ A unification of probabilistic choice within a design-based model of reversible computation ⋮ Bootstrapping library-based synthesis ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Control extension in a recursive language ⋮ Reversible computing from a programming language perspective ⋮ Some applications of the L.P.L. language to combinatorial programming ⋮ A logic language for combinatorial optimization ⋮ Semantic and syntactic issues in programming ⋮ A search strategy for the elementary cycles of a directed graph ⋮ MiniCP: a lightweight solver for constraint programming ⋮ Naive configurations ⋮ Angelic processes for CSP via the UTP ⋮ An execution mechanism for nondeterministic, state-oriented programs based on a chart parser ⋮ Quantum algorithm for the multicollision problem ⋮ Interpretation of non-deterministic algorithms in higher-level languages ⋮ General correctness: A unification of partial and total correctness ⋮ Cryptanalysis of MD2 ⋮ Slidex attacks on the Even-Mansour encryption scheme ⋮ Fuzzy and probabilistic programs ⋮ Consistency in networks of relations ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ Backtracking in recursive computations ⋮ Formal computations of non deterministic recursive program schemes ⋮ Cryptanalysis of MDC-2 ⋮ Improved Cryptanalysis of the Common Scrambling Algorithm Stream Cipher ⋮ The correctness of nondeterministic programs ⋮ REF-ARF: A system for solving problems stated as procedures ⋮ Mathematical theory of partial correctness ⋮ The temporal logic of branching time ⋮ Ten years of Hoare's logic: A survey. II: Nondeterminism ⋮ Non-deterministic programming
