Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator
Article in ACM Transactions on Computational Logic (January 2024)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in ACM Transactions on Computational Logic (January 2024)
Article in Theoretical Computer Science (December 2020)
Article in Theoretical Computer Science (April 2020)