Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

4 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Journal of Functional Programming
Vol/bind	25
ISSN	0956-7968
DOI	https://doi.org/10.1017/S0956796815000246
Status	Udgivet - 2015
Udgivet eksternt	Ja

Adgang til dokumentet

@article{c66edae7d8384d0888873d3ccc11c8b3,

title = "Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions",

author = "Dmitriy Traytel and Tobias Nipkow",

year = "2015",

doi = "10.1017/S0956796815000246",

language = "English",

volume = "25",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

}