Counterexample Sufficiency in Modifications to Strict-Tolerant Logics
| Title: | Counterexample Sufficiency in Modifications to Strict-Tolerant Logics |
|---|---|
| Authors: | Kadlecikova, Jitka; Ferguson, Thomas M. |
| Source: | 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2024 IEEE 54th International Symposium on. :78-84 May, 2024 |
| Relation: | 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) |
| Database: | IEEE Xplore Digital Library |