1. Verified decision procedures for MSO on words based on derivatives of regular expressions. (2015) Authors: TRAYTEL, DMITRIY; NIPKOW, TOBIAS Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Verified decision procedures for MSO on words based on derivatives of regular expressions. (5th November 2015) Authors: TRAYTEL, DMITRIY; NIPKOW, TOBIAS Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗