Cited By
View all- Volaříková J(2024)The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchiesInternational Journal of Algebra and Computation10.1142/S021819672450002434:01(87-135)Online publication date: 7-Mar-2024
- Artale AJung JMazzullo AOzaki AWolter F(2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role InclusionsACM Transactions on Computational Logic10.1145/359730124:4(1-51)Online publication date: 10-Oct-2023
- Place T(2022)The amazing mixed polynomial closure and its applications to two-variable first-order logicProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3531130.3532410(1-14)Online publication date: 2-Aug-2022
- Show More Cited By