...
机译:线性排序索引词的逻辑和有理语言
Laboratoire d'informatique de l'lnstitut Gaspard Monge, Universite Paris-Est and CNRS, Cite Descartes, 5, boulevard Descartes, Champs-sur-Marne, 77454 Marne-la-Vallee Cedex 2, France;
LACL, Universite Paris XO-Val de Marne, 61, avenue du General de Gaulle, 94010 Creteil Cedex, France;
LIAFA, Universite Paris 7 and CNRS, 75205 Paris Cedex 13, France;
Laboratoire d'informatique de l'lnstitut Gaspard Monge, Universite Paris-Est and CNRS, Cite Descartes, 5, boulevard Descartes, Champs-sur-Marne, 77454 Marne-la-Vallee Cedex 2, France;
linear orderings; monadic second-order logic; decidability; formal languages; automata;
机译:线性阶数表示的单词语言的Kleene定理
机译:一种新的索引语言抽水引理,适用于无限词
机译:对在伊朗Medex数据库中被索引的文章的波斯和英语关键字的来源,结构和索引语言以及它们与波斯医学词库和医学主题词的依从性进行比较研究
机译:线性排序索引词的逻辑和有理语言
机译:功能逻辑编程语言的抽象操作模型。
机译:证词的句法:索引对象,句法和语言,或如何不讲故事的故事
机译:线性排序索引词的逻辑和理性语言