Cited By
View all- Lyon TOstropolski-Nalewaja PSobocinski PLago UEsparza J(2024)Decidability of Quasi-Dense Modal LogicsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662111(1-8)Online publication date: 8-Jul-2024
- Ganian RHamm TKorchemna VOkrasa KSimonov K(2024)The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-WidthACM Transactions on Algorithms10.1145/365251420:3(1-26)Online publication date: 25-Mar-2024
- Bodirsky MBulín JStarke FWernthaler M(2023)The smallest hard treesConstraints10.1007/s10601-023-09341-828:2(105-137)Online publication date: 25-Mar-2023
- Show More Cited By