cited by index terms collaborative colleagues
Primary Classification: F. Theory of Computation F.1 COMPUTATION BY ABSTRACT DEVICES F.1.1 Models of Computation Subjects: Automata (e.g., finite, push-down, resource-bounded)
Additional Classification: G. Mathematics of Computing G.2 DISCRETE MATHEMATICS
General Terms: Theory, Verification