A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata

From MaRDI portal