<< Prev
- Up -
9.1.6 Exercise
Proof by induction that the above stack-based algorithm terminates with a complete chart.
<< Prev
- Up -
Denys Duchier
,
Claire Gardent
and
Joachim Niehren
Version 1.3.99 (20050412)