Symposium on Logical Foundations of Computer Science (LFCS)
Event name
Symposium on Logical Foundations of Computer Science (LFCS)
Start date
03-01-2009
End date
06-01-2009
Location
Deerfield Beach, Florida, U.S.A.
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna ; Artemov, Sergei ; Nerode, Anil | Automated Support for the Investigation of Paraconsistent and Other Logics | Konferenzbeitrag Inproceedings | 2013 | |
| 2 | Keller, Uwe ; Heymans, Stijn | Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm | Konferenzbeitrag Inproceedings  | 2009 |