Declarative semantics of programming in residuated lattice-valued logic

From MaRDI portal
Publication:866211