Theorem 10.1, p. 223 — quotient structure theorem: a reduced, trim supervisor is a projection of one built on a recognizer

Initializing...

Theorem 10.1, p. 223 — quotient structure theorem: a reduced, trim supervisor is a projection of one built on a recognizer · Prove2Me