...
机译:未排序树自动机的加权逻辑
Institute of Computer Science, Leipzig University, 04109 Leipzig, Germany;
Department of Computer Science, Technische Universitat Dresden, 01062 Dresden, Germany;
weighted logics; formal power series; unranked tree automata; weighted tree automata;
机译:加权未排序树自动机的支持
机译:未排序树上加权自动机的双仿真最小化
机译:加权的穆勒树自动和加权逻辑
机译:树估值单元上的加权未排序树自动机及其加权逻辑的刻画。
机译:加权树自动机和用于句法自然语言处理的转换器。
机译:使用耦合的DNAzyme级联通过耦合自动机的连续变量逻辑
机译:未加工树木的系列,加权自动机,概率自动机和概率分布。