Declarative semantics of programming in residuated lattice-valued logic

zbMATH Open1161.68382MaRDI QIDQ866211FDOQ866211

Authors: Mingsheng Ying 

Publication date: 20 February 2007

Published in: Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (2)

• LATIN 2004: Theoretical Informatics
• Lattice-theoretic models of conjectures, hypotheses and consequences

This page was built for publication: Declarative semantics of programming in residuated lattice-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866211)