×

找到8个文档（结果1-8）

最新的 引文 关联
里巴科夫，V.V。

多智能体时间非传递线性逻辑与可容许性问题。 （英语。俄文原件） Zbl 1484.03031号

代数逻辑 59，第1号，87-100（2020年）; 翻译自代数罗技59，第123-141号（2020）。
MSC公司：03B44号 68T27型 03B47号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rybakov}，《代数逻辑》59，第1期，87--100（2020；Zbl 1484.03031）；《代数逻辑》59，第1期，第123--141页（2020年）的译文
全文： DOI程序 链接
科洛布科夫（S.S.Korobkov）。

有限局部环的格同构。 （英语。俄文原件） Zbl 1471.16034号

代数逻辑 59，第1号，59-70（2020）; 《代数逻辑学》59，第1期，84-100（2020）的译文。
审核人：哈桑·什拉卡（库法）
MSC公司：16页第10页
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Korobkov}，代数逻辑59，No.1，59-70（2020；Zbl 1471.16034）；《代数逻辑学》第59卷第1期第84--100页（2020年）的译文
全文： DOI程序
卡里穆林，I.Sh。;V.G.Puzarenko。;Faizrakhmanov，M.Kh。

超算术中的可计算正数和Friedberg数。 （英语。俄文原件） Zbl 1484.03080号

代数逻辑 59，第1号，46-58（2020）; 《代数逻辑学》59，第1期，第66-83页（2020年）的译文。
MSC公司：03D45号
PDF格式BibTeX公司 XML格式引用
\textit｛I.Sh.Kalimulin｝等人，《代数逻辑59》，第1期，第46-58页（2020年；Zbl 1484.03080）；《代数逻辑》59，第1期，第66-83页（2020年）的译文
全文： DOI程序
Efremov，E.L。

内射\（S\）-行为类的完备性和稳定性。 （英语。俄文原件） Zbl 1484.03062号

代数逻辑 59，第1期，第33-45页（2020年）; 《代数逻辑》59，第1期，第48-65页（2020年）的译文。
MSC公司：03C60型 03C45号机组 20立方米 20M50型
PDF格式BibTeX公司 XML格式引用
\textit{E.L.Efremov}，代数逻辑59，No.1，33-45（2020；Zbl 1484.03062）；《代数逻辑》59，第1期，第48-65页（2020年）的译文
全文： DOI程序
R.D.迪米特洛夫。;V·哈里扎诺夫。;莫罗佐夫，A.S。

子结构格的图灵度和自同构群。 （英语。俄文原件） Zbl 1484.03076号

代数逻辑 59，第1号，18-32（2020年）; 《代数逻辑》59，第1期，第27-47页（2020年）的译文。
MSC公司：2008年3月28日 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{R.D.Dimitrov}等人，《代数逻辑》59，第1期，18-32（2020；Zbl 1484.03076）；《代数逻辑学》第59卷第1期、第27卷第47页的译文（2020年）
全文： DOI程序 arXiv公司

筛选结果依据…

全部的 前5名

作者

全部的 前3名

主字段