Login / Signup

The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata.

Etsuji TomitaKazushi Seino
Published in: Acta Informatica (1995)
Keyphrases