coalgebra; modal logic; parity automata; predicate lifitings; fixpoint logic.;
机译:(F_1,F_2)-COALGEBRAS的自动机和树自动机
机译:关于L-Fuzzy Automata,Coolgebras和Dialgebas的类别
机译:加权自动机作为矩阵类别中的代数
机译:采煤机构的自动机:一种使用谓词提升的方法
机译:中文形态预测的有界性:探讨方法
机译:建模自适应可逆车道:一种蜂窝自动机方法
机译:解除对代数的附加,以(重新)发现自动机构造
机译:自动机与共同诱导:在代数中的练习;软件工程部