...
机译:关于Rational Trace语言的逻辑可定义性的注释
Laboratoire LIAFA, Universite de Paris 7,2, pl. Jussieu, 75251 Paris Cedex 05, France;
trace monoid; first-order and second-order logic; rational subsets; finite automata;
机译:关于FO²可定义语言中的逻辑层次结构
机译:关于FO²可定义语言中的逻辑层次结构
机译:排名和未排名树上的逻辑可定义性和查询语言
机译:未排序树上的逻辑可定义性和查询语言
机译:了解逻辑经验主义:卡纳普(Carnap)的“语言逻辑句法”中的语言工程。
机译:Y染色体谱系追踪西南亚人和语言的扩散
机译:在FO2可定义语言中的逻辑层次结构