LICS 2021 - Symposium on Logic in Computer Science

Event name
LICS 2021 - Symposium on Logic in Computer Science
 
Event type
Event for scientific audience
 
Start date
29-06-2021
End date
02-07-2021
 
Location
Rom
Rom
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dreier, Jan Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion ClassesKonferenzbeitrag Inproceedings 2021
2Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Symbolic Time and Space Tradeoffs for Probabilistic VerificationKonferenzbeitrag Inproceedings 2021