ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic)
Event name
ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic)
Start date
16-05-2008
End date
19-05-2008
Location
Dallas,Texas,USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Salzer, Gernot ; Chepoi, V ; Creignou, Nadia ; Hermann, Miki ; Dueck, G. | Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics | Konferenzbeitrag Inproceedings  | 2008 |