Paper Info
Title
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions.
Year
Venue
Field
2014
Archive of Formal Proofs
HOL,Discrete mathematics,Regular expression,Correctness,Algorithm,Decidability,Equivalence (measure theory),Regular language,Completeness (statistics),Mathematics,Monad (functional programming)
DocType
Volume
Citations 
Journal
2014
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Dmitriy Traytel110122.55
Tobias Nipkow23056232.28