Automata theory based on complete residuated lattice-valued logic: Pushdown automata

From MaRDI portal
Publication:1037929