机译:加权自动机和无限嵌套词的逻辑
Institute of Computer Science, Leipzig University, D-04109 Leipzig, Germany;
Institute of Computer Science, Leipzig University, D-04109 Leipzig, Germany;
Nested words; Weighted automata; Weighted logics; Quantitative automata; Valuation monoids;
机译:无限词的加权自动机和加权逻辑
机译:无限单词上加权推动自动机的核心定理和逻辑
机译:强BIMONOID上的加权嵌套词自动和逻辑
机译:无限嵌套词的加权自动机和逻辑
机译:有限和无限二进制字的子字复杂度。
机译:使用耦合的DNAzyme级联通过耦合自动机的连续变量逻辑
机译:Infinite嵌套单词的加权自动机和逻辑
机译:嵌套细胞自动机