Declarative semantics of programming in residuated lattice-valued logic
From MaRDI portal
Publication:866211
zbMath1161.68382MaRDI QIDQ866211
Publication date: 20 February 2007
Published in: Science in China. Series E (Search for Journal in Brave)
Related Items (1)
This page was built for publication: Declarative semantics of programming in residuated lattice-valued logic