DOI10.1007/s10817-011-9223-4zbMath1269.68090MaRDI QIDQ2392416
Alexander Krauss, Tobias Nipkow
Publication date: 1 August 2013 Published in: Journal of Automated Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10817-011-9223-4
zbMATH Keywords
regular expressions; decision procedure; \texttt{Isabelle/HOL}
Mathematics Subject Classification ID
68Q45: Formal languages and automata
03G15: Cylindric and polyadic algebras; relation algebras
Uses Software