弗里茨·亨利恩；拉塞·尼尔森 正则表达式包容、共导公理化和计算解释。 （英语） Zbl 1284.68353号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。385-398 (2011). 引用于6文件 MSC公司： 65年第68季度 形式语言和自动机 03B70号 计算机科学中的逻辑 关键词：公理化；胁迫；造币术；计算解释；安全壳；等效；正则表达式；类型 PDF格式BibTeX公司 XML格式引用 \textit｛F.Henglein｝和\textit｛L.Nielsen｝，载于：第38届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。385-398（2011年；兹比尔1284.68353） 全文： 内政部