MSO+∇ is undecidable

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics.2019.8785892 ◽

2019 ◽

Author(s):

Mikolaj Bojanczyk ◽

Edon Kelmendi ◽

Michal Skrzypczak

Download Full-text