VDict - Definition of committed-choice nondeterminism

search result for committed-choice nondeterminism in Computing (FOLDOC) dictionary

Dijkstra's guarded command language Concurrent Prolog Parlog Guarded Horn Clauses Charme Andorra-Prolog REGTRAL intelligent backtracking Axiom of Choice pull-down list nondeterministic logic programming nondeterminism languages of choice Pandora Delta-Prolog Magma2 BeBOP CIR FUD wars redundancy ZFC ALLOY backtracking bug-compatible Workflow Management Coalition Banach-Tarski paradox SPARC Xterminal 1 nondeterministic polynomial time conceptualisation Disk Operating System Zermelo Frankel set theory infinite set Prisoner of Bill bondage-and-discipline language depth-first search infinite Procomm high-level language Russell's Attic literal Calc tool bar aleph 0 Econet Virtual Machine Zip Drive direct mapped cache Graphics Interchange Format for values of menu Visual Component Library Federation Against Software Theft Limited delete macro Cantor signature COME FROM bitmap display Great Runes grammar coefficient of X frequency division multiplexing Common Gateway Interface software patent hexadecimal Lisp PostScript Altair 8800 Zilog Z80 Perl axiomatic set theory modem regular expression brute force electron tube Amulet Yale Haskell Lorem ipsum The story of Mel, a Real Programmer