×

找到25个文档(结果1-25)

主题领域的模型理论。二、。 (英语。俄文原件) Zbl 1515.03180号

代数逻辑 61,第4号,341-347(2022); 《代数逻辑学》第61卷第4期第500-510页(2022年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有动态可访问关系、投影统一器的多智能体逻辑。 (英语。俄文原件) Zbl 1515.03146号

代数逻辑 61,编号1,79-83(2022); 《代数逻辑学》第61卷第1期第111-118页(2022年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Lambek演算与形式的复杂性以及语法中的完全可导性。 (英语。俄文原件) Zbl 1515.03218号

代数逻辑 60,第5号,308-326(2021); 《代数逻辑60》第4期第471-496页(2021年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多智能体时间非传递线性逻辑与可容许性问题。 (英语。俄文原件) 兹比尔1484.03031

代数逻辑 59,第1号,87-100(2020年); 《代数逻辑学》59,第1期,第123-141页(2020年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

素数阶多项式完备拟群。 (英语。俄文原件) Zbl 1414.20023号

代数逻辑 第57327-335号(2018); 《代数逻辑》57,第5期,509-521(2018)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限时间Blum-Shub-Smale机器的计算能力。 (英语。俄文原件) Zbl 1420.03111号

代数逻辑 56,第1号,37-62(2017); 摘自《代数逻辑》56,第1期,55-92(2017)。
MSC公司:03D78号 03日第10天 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态mereopology。三: 怀特海式的空间和时间的综合无点理论。三、。 (英语。俄文原件) Zbl 1396.03073号

代数逻辑 55,第3期,181-197(2016); 摘自《代数逻辑》55,第3期,273-299(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模糊不等式逻辑的自由变量语义表。 (英语。俄文原件) Zbl 1386.03025号

代数逻辑 55,第2期,103-127(2016); 《代数逻辑学》第55卷第2期第156-191页(2016)的译文;勘误表同上,55,No.3,256(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态mereotopology。三: 怀特海式的空间和时间的综合无点理论。二、。 (英语。俄文原件) Zbl 1396.03072号

代数逻辑 55,第1号,9-23(2016); 摘自《代数逻辑》55,第1期,14-36(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态mereotopology。三: 怀特海式的空间和时间的综合无点理论。一、。 (英语。俄文原件) Zbl 1323.03032号

代数逻辑 53,第3期,191-205(2014); 摘自《代数逻辑》53,第3期,300-322(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正则语言的布尔代数。 (英语。俄文原件) Zbl 1312.68119号

代数逻辑 52,第6号,448-470(2014); 摘自《代数逻辑》52,第6期,676-711(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序紧空间上(子)概率幂域单子的抽象有序紧凸集和代数。 (英语。俄文原件) Zbl 1276.54041号

代数逻辑 48,第5期,330-343(2009); 摘自《代数逻辑》48,第5期,580-605(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向广义可计算性理论。 (英语。俄文原件) Zbl 0829.03023号

代数逻辑 32,第4期,183-205(1993); 翻译自《代数逻辑》32,第4期,349-386(1993)。
MSC公司:03日第10天 03D20日 2005年第68季度 03D25号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正代数中\(Q\)-同余的个数。 (英语。俄文原件) Zbl 0795.03046号

代数逻辑 31,第3期,182-187(1992); 《代数逻辑学》31,第3期,297-305(1992)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有限逼近正可表示丰富的代数。 (英语。俄文原件) Zbl 0672.03031号

代数逻辑 26,第6期,441-450(1987); 《代数逻辑学》第26卷第6期第715-730页(1987年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

一种获得单调复杂度有效下界的方法。 (英语。俄文原件) Zbl 0659.94020号

代数逻辑 26,第1期,第1-18页(1987年); 《代数逻辑学》第26卷第1期第3-26页(1987年)的译文。
MSC公司:94立方厘米 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

下推存储自动机和复杂度为3的范畴文法类中复杂性函数的最小化。 (英语。俄文原件) Zbl 0264.68018号

代数逻辑 7(1968), 144-152 (1970); 《代数逻辑》第7卷第3期第23-37页(1968年)的译文。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

关于所有上下文无关语言类与确定性上下文无关语言的类之间的关系。 (英语。俄文原件) Zbl 0242.68045号

代数逻辑 8(1969年),22-33(1970年); 《代数逻辑》第8卷第1期第44-64页(1969年)的译文。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

筛选结果依据…

全部的 前5名

出版年份