Cited By
View all- Kieroński E(2023)A Uniform One-Dimensional Fragment with Alternation of QuantifiersElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.390.1390(1-15)Online publication date: 30-Sep-2023
- van Bremen TKuželka O(2023)Lifted inference with tree axiomsArtificial Intelligence10.1016/j.artint.2023.103997324(103997)Online publication date: Nov-2023
- Kieroński EKuusisto A(2022)One-dimensional fragment over words and treesJournal of Logic and Computation10.1093/logcom/exac00232:5(902-941)Online publication date: 19-Feb-2022
- Show More Cited By