劳埃德·亨伯斯通 监督、依赖、分离。 (英语) 兹比尔1477.03052 日志。日志。菲洛斯。 28,第1期,3-135页(2019年).MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},日志。日志。菲洛斯。28,第1号,第3--135号(2019年;Zbl 1477.03052) 全文: DOI程序
乔治·贾帕里泽 建立你自己的口琴。一: 设置和完整性。 (英语) Zbl 1445.03065号 日志。方法计算。科学。 12,第3号,第8号论文,59页(2016年).MSC公司:30楼03号 03B70号 03楼50 03D75号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},日志。方法计算。科学。12,第3号,第8号论文,59页(2016;Zbl 1445.03065) 全文: DOI程序 arXiv公司
马修·鲍尔。 PSPACE完整的可计算性逻辑的一阶片段。 (英语) Zbl 1287.03067号 ACM事务处理。计算。日志。 15,第1号,第1条,第11页(2014年).MSC公司:03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Bauer},ACM翻译。计算。日志。15,第1号,第1条,第11页(2014年;Zbl 1287.03067) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 可计算逻辑分支递归的新面貌。 (英语) Zbl 1259.03045号 申请。数学。莱特。 25,第11期,1585-1589(2012).MSC公司:03B70号 03楼52 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},应用。数学。莱特。25,第11号,1585--1589(2012;Zbl 1259.03045) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 分离基本循环的基本逻辑。 (英语) Zbl 1241.03025号 Ann.纯粹应用。逻辑 163,第3期,377-389(2012).MSC公司:03B47号 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},Ann.《纯粹的应用》。逻辑163,No.3,377--389(2012;Zbl 1241.03025) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 竖琴入门。一、。 (英语) Zbl 1243.03075号 Inf.计算。 209,第10期,1312-1354(2011). 审核人:赛义德·萨利希(大不里士) MSC公司:30楼03号 03B70号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},信息计算。209,第10号,1312--1354(2011;Zbl 1243.03075) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 可计算性逻辑中的切换运算符。 (英语) 兹比尔1209.03024 西奥。计算。科学。 412,第11期,971-1004(2011).MSC公司:03B70号 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{G.Japaridze},Theor。计算。科学。412,第11号,971--1004(2011;Zbl 1209.03024) 全文: DOI程序 arXiv公司
乔尔吉·贾普里泽 面向基于可计算逻辑的应用理论。 (英语) Zbl 1201.03055号 J.塞姆。日志。 75,No.2,565-601(2010). 审核人:赛义德·萨利希(大不里士) MSC公司:03楼50 03B70号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},J.Symb。日志。75,第2号,565--601(2010;Zbl 1201.03055) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 可计算逻辑中的顺序运算符。 (英语) Zbl 1161.03016号 Inf.计算。 206,第12号,1443-1475(2008). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},信息计算。206,第12号,1443-1475(2008;Zbl 1161.03016) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 从真理到可计算性。二、。 (英语) Zbl 1118.03021号 西奥。计算。科学。 379,编号1-2,20-52(2007).MSC公司:03B70号 03B47号 03楼50 03楼52 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{G.Japarize},Theor。计算。科学。379,编号1--2,20--52(2007;Zbl 1118.03021) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 命题层次上可计算逻辑的直观片段。 (英语) Zbl 1143.03014号 Ann.纯粹应用。逻辑 147,第3期,187-227(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 03B20型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},Ann.《纯粹的应用》。逻辑147,No.3,187--227(2007;Zbl 1143.03014) 全文: DOI程序 arXiv公司
乔治·贾帕里泽 从真理到可计算性。一、。 (英语) Zbl 1094.03019号 西奥。计算。科学。 357,编号1-3,100-135(2006).MSC公司:03B70号 03B47号 03楼50 2010年第68季度 68T27型 68立方英尺 91A05型 03楼52 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{G.Japaridze},Theor。计算。科学。357,编号1--3,100-135(2006;Zbl 1094.03019) 全文: DOI程序 arXiv公司