Concepedia

A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State

Ken Higuchi, Mitsuo Wakatsuki, Etsuji Tomita

IEICE Transactions on Information and Systems · 1995 · 10 citations · 0 references

Concepts