The emptiness problem for automata on infinite trees
By: [by] Robert Hossley, Charles Rackoff.
Contributors: Rackoff, Charles.; Massachusetts Institute of Technology.
Series: MAC technical memoranda -- 29
Publisher: Massachusetts Institute of Technology
Published: 1972
Place of publication: Cambridge (Mass.)
Language: eng