Information and Control · 1967 · 111 citations · 3 references
ComputingComputer ScienceComputer SystemsMarkov Decision ProcessesAutomata TheoryFinite State Machine ModelingPushdown AutomataNondeterministic Pushdown AutomataPushdown Automata ComplexityPushdown Automata Model CheckingRegularity TheoryTimed Pushdown Automata
3
Seymour Ginsburg, Edwin H. Spanier · Transactions of the American Mathematical Society · 1964 · 249 citations
Seymour Ginsburg, Edwin H. Spanier · Transactions of the American Mathematical Society · 1964 · 134 citations · Full text