MNiBLoS

swMATH32318MaRDI QIDQ44029FDOQ44029

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/pii/S0020025516306491

Described by source

• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions

Cited In (2)

• New complexity results for Łukasiewicz logic
• Fuzzydl

This page was built for software: MNiBLoS