30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

View Statistics Email Alert RSS Feed

Description

Event name
30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
 
Start date
06-07-2015
End date
10-07-2015
 
Location
Kyoto, Japan
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015