Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Standard
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. / Traytel, Dmitriy; Nipkow, Tobias.
I: Journal of Functional Programming, Bind 25, 2015.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
Traytel, D & Nipkow, T 2015, 'Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions', Journal of Functional Programming, bind 25. https://doi.org/10.1017/S0956796815000246
APA
Traytel, D., & Nipkow, T. (2015). Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. Journal of Functional Programming, 25. https://doi.org/10.1017/S0956796815000246
Vancouver
Traytel D, Nipkow T. Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. Journal of Functional Programming. 2015;25. https://doi.org/10.1017/S0956796815000246
Author
Bibtex
@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",
}
RIS
TY - JOUR
T1 - Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
AU - Traytel, Dmitriy
AU - Nipkow, Tobias
PY - 2015
Y1 - 2015
U2 - 10.1017/S0956796815000246
DO - 10.1017/S0956796815000246
M3 - Journal article
VL - 25
JO - Journal of Functional Programming
JF - Journal of Functional Programming
SN - 0956-7968
ER -
ID: 245669135