Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Event name
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Start date
14-07-2014
End date
18-07-2014
Location
Vienna
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Bova, Simone ; Ganian, Robert ; Szeider, Stefan | Model Checking Existential Logic on Partially Ordered Sets | Konferenzbeitrag Inproceedings | 2014 |