%0 Journal Article %1 higuchi1998a %A Higuchi, Ken %A Wakatsuki, Mitsuo %A Tomita, Etsuji %D 1998 %J TIEICE: IEICE Transactions on Communications/Electronics/Information and Systems %K imported %N 1 %T A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Accept Mode %V E81

@article{higuchi1998a, added-at = {2006-03-09T08:15:35.000+0100}, author = {Higuchi, Ken and Wakatsuki, Mitsuo and Tomita, Etsuji}, biburl = {https://www.bibsonomy.org/bibtex/2ffe3a1a7f51afd221485abad49db431e/snowball}, interhash = {ff4465b6bab19fd920ae3a8aa4804246}, intrahash = {ffe3a1a7f51afd221485abad49db431e}, journal = {TIEICE: IEICE Transactions on Communications/Electronics/Information and Systems}, keywords = {imported}, number = 1, timestamp = {2006-03-09T08:15:35.000+0100}, title = {A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Accept Mode}, volume = {E81}, year = 1998 }