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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
RedaktørerGreg Morrisett, Tarmo Uustalu
Antal sider10
ForlagACM
Publikationsdato2013
Sider3-12
DOI
StatusUdgivet - 2013
Eksternt udgivetJa

ID: 245668212