Conference Papers
Year : 2020
chu-min Li : Connect in order to contact the contributor
https://hal.science/hal-04322045
Submitted on : Monday, December 4, 2023-5:27:55 PM
Last modification on : Tuesday, July 30, 2024-12:40:03 PM
Dates and versions
Identifiers
- HAL Id : hal-04322045 , version 1
- DOI : 10.1109/ISMVL49045.2020.00007
Cite
Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Łukasiewicz Logic. 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-04322045⟩
Collections
11
View
0
Download