15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest)

Event name
15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest)
 
Event type
Event for scientific audience
 
Start date
12-07-2014
End date
13-07-2014
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovasznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicPräsentation Presentation2014