2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Book title Buchtitel
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
 

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