Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009

Event name
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009
 
Event type
Event for scientific audience
 
Start date
21-06-2009
End date
24-06-2009
 
Location
Tokio
Country
Japan
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009