Logic/General logic/Decidability of theories
Subject Classification
AMS: Mathematical logic and foundations / General logic / Decidability of theories and sets of sentences
2023
2015
2014
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
by Dmitriy Traytel and Tobias Nipkow