Arity and Alternation in Second-Order Logic

@article{Makowsky1996ArityAA,
  title={Arity and Alternation in Second-Order Logic},
  author={Johann A. Makowsky and Y. B. Pnueli},
  journal={Ann. Pure Appl. Logic},
  year={1996},
  volume={78},
  pages={189-202}
}
14 Citations
0 References
Similar Papers