Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
From MaRDI portal
Publication:5096428
DOI10.1145/3531130zbMath1492.03002OpenAlexW4283759833MaRDI QIDQ5096428
No author found.
Publication date: 16 August 2022
Full work available at URL: https://doi.org/10.1145/3531130
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Graphs of bounded twin-width are quasi-polynomially \(\chi \)-bounded, On counting propositional logic and Wagner's hierarchy, A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
