Alternating Tree Automata

@inproceedings{Slutzki1983AlternatingTA,
  title={Alternating Tree Automata},
  author={Giora Slutzki},
  booktitle={CAAP},
  year={1983}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…