Formula well-formedness decided in two-phase quadratic plus linear time by Turing machine

Initializing...

Formula well-formedness decided in two-phase quadratic plus linear time by Turing machine · Prove2Me