机译:证明珍珠:正则表达式的等价和关系代数
Institut fuer Informatik, Technische Universitaet Muenchen, Munich, Germany;
Institut fuer Informatik, Technische Universitaet Muenchen, Munich, Germany;
isabelle/HOL; decision procedure; regular expressions;
机译:正则二元表达式和表示二元语言的正则表达式在自由二元上的等价性
机译:基于多值等价关系的模糊函数和Vaue代数的基础,第三部分:Vagu代数概念和Vaue算术运算的构造
机译:基于多值等价关系的模糊函数和Vaue代数的基础,第二部分:Vagu代数概念
机译:POSIX Lexing与正则表达式的衍生物(Proof Pearl)
机译:测得的等价关系及其相关的冯·诺依曼代数的一些结构结果。
机译:将等价关系与等价关系相关:复杂的人类功能的关系框架模型
机译:POSIX用正则表达式派生词法(证明珍珠)
机译:交叉正则表达式的等价问题在磁带中不是多项式。