Cited By
View all- Jung JWolter FGorla D(2021)Living without beth and craigProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470585(1-14)Online publication date: 29-Jun-2021
- Czerwiński WZetzsche GHermanns HZhang LKobayashi NMiller D(2020)An Approach to Regular Separability in Vector Addition SystemsProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3373718.3394776(341-354)Online publication date: 8-Jul-2020
- Place TZeitoun MBouyer P(2019)Separation and covering for group based concatenation hierarchiesProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470153(1-13)Online publication date: 24-Jun-2019
- Show More Cited By