Liberal Dictionary English Dictionary
noun Logic.
- a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
Basic structure of the decision procedure | Download Scientific Diagram
Decision Procedures — An Algorithmic Point of View
Co-decision procedure chart