Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Avron, A.: A note on the structure of bilattices. Mathematical Structures in Computer Science 5(3), 431–438 (1995)
2. Avron, A.: The structure of interlaced bilattices. Mathematical Structures in Computer Science 6(3), 287–299 (1996)
3. Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern uses of multiple-valued logic, pp. 8–37. Reidel Publishing (1975)
4. Lecture Notes in Computer Science;S. Bistarelli,2000
5. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)