An extension of interval-valued computing equivalent to red-green Turing machines

From MaRDI portal
Publication:1647321