External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino. A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final State. In 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2013, Honolulu, Hawaii, USA, 1-3 July, 2013. pages 459-465, IEEE, 2013. [doi]

Authors

Mitsuo Wakatsuki

This author has not been identified. Look up 'Mitsuo Wakatsuki' in Google

Etsuji Tomita

This author has not been identified. Look up 'Etsuji Tomita' in Google

Tetsuro Nishino

This author has not been identified. Look up 'Tetsuro Nishino' in Google
runs on