next up previous contents
Next: The union of two Up: Decidability Theorems Previous: The complement of a

Theorem 2



 

root
6/10/1998