Login / Signup

A characterization of Büchi tree automata.

Jerzy Skurczynski
Published in: Inf. Process. Lett. (2002)
Keyphrases