Decision procedures for families of deterministic push down automata
By: Leslie Valiant
Contributors: University of Warwick
Published: 1973
Language: eng
Notes: BLDSC reference no.: D18345/77.

Thesis (doctoral)--University of Warwick, 1973.