Matematicheskaya Logika i eöPrimeniya公司 简短标题： Mat.Logika底漆。 出版商： 基贝内蒂基·马特马提基研究所（Institute Matematiki i Kibernetiki Akademii Nauk Litovskoj SSR），维尔纽斯 国际标准编号： 0207-8961 评论： 期刊；不再索引 已编制索引的文档： 55出版物(1981–1989) 全部的 前5名最新问题 6(1989) 5(1987) 4（1985年） 三(1983) 2(1982) 1(1981) 全部的 前5名作者 8 里贾曼塔斯，普利乌什凯维丘斯 7 斯塔西斯·尤克纳（Stasys P.Yukna）。 5 利维亚·马利奥金 5 艾达，普留什凯维奇 5 Sakalauskaitö，Jératö 4 瓦伦蒂纳斯·克里亚丘卡斯 三 林高达斯·扎尔多卡斯 2 瓦尔达斯，迪奇乌纳斯 2 古兹欣斯卡斯（Gudzhinskas）、埃吉吉尔达斯（Ehjgirdas） 2 金丝纳维丘斯，里曼塔斯 1 科索夫斯基、尼古拉·尼古拉耶维奇 1 Yu Kur’erov。N。 1 或者艾瓦·奥斯卡。 1 鲁姆沙斯、阿尔吉尔达斯 1 弗拉基米尔·斯特森科 1 Vaicekauskas，R.A。 1 Vajtssenavichyus，R.Yu，《美国医学会杂志》。 全部的 前5名字段 36 数学逻辑和基础（03-XX） 23 计算机科学（68至XX） 5 信息与通信理论、电路（94-XX） 三 组合数学（05-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用9中的次8文件 引用人▼ 年份▼ 机器复杂性类的算术表示。 Zbl 0515.68045号 尤克纳，S。 2 1982 冯·赖特时间逻辑消元定理的语法证明。 Zbl 0517.03006号 Gudzhinskas，呃。 2 1982 坎普时态逻辑的结构分析指数推导。 Zbl 0642.03013号 里贾曼塔斯Plyushkyavichyus 1 1987 功能模态逻辑S5的结构消除定理。 Zbl 0642.03014号 里贾曼塔斯Plyushkyavichyus 1 1987 通信复杂性的下限。 Zbl 0654.68040号 斯塔西斯·尤克纳（Stasys P.Yukna）。 1 1987 关于可容许集上存在泛函数的必要条件。 Zbl 0726.03033号 里曼塔斯Vajtsenavichyus 1 1989 将分布式程序转换为协同程序。 Zbl 0619.68014号 Gyachas，K。 1 1985 关于可容许集上存在泛函数的必要条件。 Zbl 0726.03033号 金丝纳维丘斯，里曼塔斯 1 1989 坎普时态逻辑的结构分析指数推导。 Zbl 0642.03013号 里贾曼塔斯Plyushkyavichyus 1 1987 功能模态逻辑S5的结构消除定理。 Zbl 0642.03014号 里贾曼塔斯Plyushkyavichyus 1 1987 通信复杂性的下限。 Zbl 0654.68040号 斯塔西斯·尤克纳（Stasys P.Yukna）。 1 1987 将分布式程序转换为协同程序。 Zbl 0619.68014号 Gyachas，K。 1 1985 机器复杂性类的算术表示。 Zbl 0515.68045号 尤克纳，S。 2 1982 von Wright时间逻辑消去定理的句法证明。 Zbl 0517.03006号 Gudzhinskas，呃。 2 1982 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 1 尼古拉·巴热诺夫（Nikola Bazhenov）ĭAlekseevich 1 凯·布伦勒 1 Gyachas，K.K。 1 伯纳德·霍奇森。 1 克莱门特·肯特。 1 马丁·兰格 1 米歇尔·马蒂 1 里贾曼塔斯，普利乌什凯维丘斯 1 马丁·索尔霍夫 1 托马斯·施图德 1 克劳德·苏里森 4种期刊引用 2 理论计算机科学 1 计算机与系统科学杂志 1 控制论 1 逻辑与代数程序设计杂志 在2个字段中引用 5 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的引文