Automata theory based on complete residuated lattice-valued logic: Reduction and minimization

From MaRDI portal