Standard
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. / Traytel, Dmitriy; Nipkow, Tobias.
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ed. / Greg Morrisett; Tarmo Uustalu. ACM, 2013. p. 3-12.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Traytel, D & Nipkow, T 2013,
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. in G Morrisett & T Uustalu (eds),
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ACM, pp. 3-12.
https://doi.org/10.1145/2500365.2500612
APA
Traytel, D., & Nipkow, T. (2013).
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. In G. Morrisett, & T. Uustalu (Eds.),
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (pp. 3-12). ACM.
https://doi.org/10.1145/2500365.2500612
Vancouver
Traytel D, Nipkow T.
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. In Morrisett G, Uustalu T, editors, ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ACM. 2013. p. 3-12
https://doi.org/10.1145/2500365.2500612
Author
Traytel, Dmitriy ; Nipkow, Tobias. / Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. editor / Greg Morrisett ; Tarmo Uustalu. ACM, 2013. pp. 3-12
Bibtex
@inproceedings{ca9e0dc276fd4c6e9ed09e5a7108a5ed,
title = "Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions",
author = "Dmitriy Traytel and Tobias Nipkow",
year = "2013",
doi = "10.1145/2500365.2500612",
language = "English",
pages = "3--12",
editor = "Greg Morrisett and Tarmo Uustalu",
booktitle = "ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming",
publisher = "ACM",
}
RIS
TY - GEN
T1 - Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
AU - Traytel, Dmitriy
AU - Nipkow, Tobias
PY - 2013
Y1 - 2013
U2 - 10.1145/2500365.2500612
DO - 10.1145/2500365.2500612
M3 - Article in proceedings
SP - 3
EP - 12
BT - ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
A2 - Morrisett, Greg
A2 - Uustalu, Tarmo
PB - ACM
ER -