曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;拉霍尼斯，乔治 加权线性动态逻辑。 （英语） 兹伯利07805942 发现的国际期刊。计算。科学。 35，编号1-2，145-177（2024）.MSC公司：68季度xx 03亿xx 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人，《国际期刊》发现。计算。科学。35，编号1-2145-177（2024；Zbl 07805942） 全文： 内政部
皮埃尔·贝奥;贾科·卡里 对群移位的有效投影决定了群元胞自动机的性质。 （英语） Zbl 07805938号 发现的国际期刊。计算。科学。 35，编号1-2，77-100（2024）. 审核人：劳伦特·巴托尔迪（哥廷根） MSC公司：37B15号机组 37B51号 37B10号机组 03B55号 03D75号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Béaur}和\textit{J.Kari}，Int.J.Found。计算。科学。35，编号1-2，77-100（2024；Zbl 07805938） 全文： 内政部 arXiv公司
佐尔坦，福尔öp;福格勒、海科 特定有界格集上可识别加权树语言集的比较。 （英语） Zbl 07805937号 发现的国际期刊。计算。科学。 35，编号1-2，51-76（2024）.MSC公司：68季度xx 68倍 03亿xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler}，国际期刊发现。计算。科学。35，编号1--2，51-76（2024；Zbl 07805937） 全文： 内政部
克里斯托夫·Löding;沃尔夫冈·托马斯 关于确定性自上而下树自动机的布尔闭包。 （英语） Zbl 07805935号 发现的国际期刊。计算。科学。 35，编号1-2，11-22（2024）.MSC公司：68季度xx 03亿xx 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{W.Thomas}，国际期刊发现。计算。科学。35，编号1--2，11-22（2024；Zbl 07805935） 全文： 内政部 arXiv公司
波琳娜·帕拉波尼亚里 模糊命题配置逻辑。 （英语） Zbl 07749891号 发现的国际期刊。计算。科学。 34，第6号，603-631（2023）.MSC公司：03亿xx 68季度xx 68新元 PDF格式BibTeX公司 XML格式引用 \textit{P.Paraponiari}，国际法院发现。计算。科学。34，编号6，603--631（2023；Zbl 07749891） 全文： 内政部 arXiv公司
玛丽亚·皮图;拉霍尼斯，乔治 基于参数组件的系统架构中的不确定性建模。 （英语） Zbl 07749890号 发现的国际期刊。计算。科学。 34，第6号，559-601（2023）.MSC公司：68季度xx 68倍 03亿xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pittou}和\textit{G.Rahonis}，国际法学研究所。计算。科学。34，编号6，559--601（2023；Zbl 07749890） 全文： 内政部
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 带有输出的自动机的模式逻辑。 （英语） Zbl 1458.68097号 发现的国际期刊。计算。科学。 31,6号，711-748（2020）.MSC公司：65年第68季度 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人，国际法学研究所。计算。科学。31，第6号，711--748（2020；Zbl 1458.68097） 全文： 内政部
加兹达，M.W。;威廉姆斯，T.A.C。 通过匹配游戏预先订购自己的平价游戏。 （英语） Zbl 1522.91061号 发现的国际期刊。计算。科学。 29，第4期，571-590（2018）.MSC公司：91A44型 91A43型 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Gazda}和\textit{T.A.C.Willemse}，国际期刊发现。计算。科学。29，第4号，571--590（2018；Zbl 1522.91061） 全文： 内政部
奥利维尔·伯内兹;库尔甘斯基、奥列克西;伊戈尔·波塔波夫 一维分段仿射映射的可达性问题。 （英语） Zbl 1394.37009号 发现的国际期刊。计算。科学。 29，第4期，529-549（2018）.MSC公司：第37页第45页 03B25号 03天35分 2005年第68季度 11E95型 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人，国际期刊发现。计算。科学。29，第4号，529--549（2018；Zbl 1394.37009） 全文： 内政部
马丁·吕克 奇怪的量词：优化模型和计算树逻辑的复杂性。 （英语） Zbl 1387.68136号 发现的国际期刊。计算。科学。 29，第1期，17-61（2018）.MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}，国际法学研究所。计算。科学。29，第1号，第17--61号（2018；Zbl 1387.68136） 全文： 内政部 arXiv公司
克里斯托斯·卡波提斯。;拉马纳·穆拉弗 小型2NFA的逻辑特征。 （英语） Zbl 1380.68254号 发现的国际期刊。计算。科学。 28，第5期，445-464（2017）.MSC公司：65年第68季度 03B70号 2015年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Kapountis}和\textit{L.Mulaffer}，国际期刊发现。计算。科学。28，第5号，445--464（2017；Zbl 1380.68254） 全文： 内政部
斯拉夫乔·什特拉科夫;伊沃·达米扬诺夫 关于有限运算的计算复杂性。 （英语） Zbl 1347.08005号 发现的国际期刊。计算。科学。 27、1号、15-38（2016）. 审核人：Danica Jakubiková-Studenovská（科希策） MSC公司：08A40号 03B50号 65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{S.Shtrakov}和\textit{I.Damyanov}，Int.J.Found。计算。科学。27、第1号、第15--38号（2016；Zbl 1347.08005） 全文： 内政部 arXiv公司
阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默;马丁·蒙德亨克 勘误表：“CTL和（mathrm{CTL}^\star）片段可满足性的复杂性”。 （英语） Zbl 1405.68130号 发现的国际期刊。计算。科学。 26，第8期，1189-1190（2015）.MSC公司：2017年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，国际期刊发现。计算。科学。26，第8号，1189--1190（2015；Zbl 1405.68130） 全文： 内政部
岳、后光 从计算到交互：异步像素的表现力。 （英语） Zbl 1286.68298号 发现的国际期刊。计算。科学。 24，第3期，349-373（2013）.MSC公司：65年第68季度 03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Yue}，国际期刊发现。计算。科学。24，第3号，349--373（2013；Zbl 1286.68298） 全文： 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 使用Horn子句的有限状态过程代数的可达性。 （英语） Zbl 1295.68169号 发现的国际期刊。计算。科学。 24，第2期，283-302（2013）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68问题85 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛N.Skrypnyuk｝和\textit｛F.Nielson｝，国际发现杂志。计算。科学。24，第2号，283--302（2013；Zbl 1295.68169） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;乔纳森·塞德伯格;汤姆·沃纳 具有多重链接结构的程序的单调抽象。 （英语） Zbl 1286.68304号 发现的国际期刊。计算。科学。 24，第2期，187-210（2013）.MSC公司：60年第68季度 68号30 68兰特 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛P.A.Abdulla｝等人，Int.J.Found。计算。科学。24，第2号，187--210（2013；Zbl 1286.68304） 全文： 内政部
阿托·萨洛马 反应系统和命题逻辑之间的函数结构。 （英语） Zbl 1359.68075号 发现的国际期刊。计算。科学。 24，第1期，147-159（2013）.MSC公司：2005年第68季度 03B05号 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa}，国际期刊发现。计算。科学。24，第1号，147--159（2013；Zbl 1359.68075） 全文： 内政部
马克·伯金 可计算性和算法公理理论中的可决定性和普遍性。 （英语） 兹比尔1279.03068 发现的国际期刊。计算。科学。 23，第7期，1465-1480（2012）.MSC公司：03D75号 03B25号 05年3月 03日第10天 20日03时 03天35分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Burgin}，国际期刊发现。计算。科学。23，第7号，1465--1480（2012；Zbl 1279.03068） 全文： 内政部
曼弗雷德·库夫莱特纳;亚历山大·劳瑟 大约是一点。 （英语） 兹比尔1308.68071 发现的国际期刊。计算。科学。 23，第6期，1323-1339（2012）.MSC公司：65年第68季度 05年3月 03B10号机组 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kufleitner}和\textit{A.Lauser}，国际法学杂志发现。计算。科学。23，第6号，1323--1339（2012；Zbl 1308.68071） 全文： 内政部
纳米特查图维迪;奥尔舍夫斯基，约格;沃尔夫冈·托马斯 语言对\（\omega\）-常规无限游戏中的语言。 （英语） Zbl 1262.68087号 发现的国际期刊。计算。科学。 23，第5期，985-1000（2012）.MSC公司：65年第68季度 91A05型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Chaturvedi}等人，国际期刊发现。计算。科学。23，第5号，985--1000（2012；Zbl 1262.68087） 全文： 内政部
奥利弗·弗里德曼;马丁·兰格 求解奇偶博弈的两个局部策略迭代方案。 （英语） Zbl 1246.91025号 发现的国际期刊。计算。科学。 23，第3期，669-685（2012）.MSC公司：91A43型 91A05型 60年第68季度 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange}，国际期刊发现。计算。科学。23，编号3669-685（2012年；兹bl 1246.91025） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于具有小分支或小树宽的有限图上的模态演算。 （英语） Zbl 1245.03025号 发现的国际期刊。计算。科学。 23，第3期，627-647（2012）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，国际期刊发现。计算。科学。23，编号3627-647（2012年；兹bl 1245.03025） 全文： 内政部
大卫·布雷索林;皮埃特罗·萨拉;圭多·西亚维科 在开始、见面和之前。 （英语） Zbl 1259.03028号 发现的国际期刊。计算。科学。 23，第3期，559-583（2012）.MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，国际期刊发现。计算。科学。23，第3号，559--583（2012；Zbl 1259.03028） 全文： 内政部
安吉洛·蒙塔纳里（编辑）;马格丽塔·那不勒斯（编辑）;帕伦特，米姆（编辑） 特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） Zbl 1250.68042号 发现的国际期刊。计算。科学。23，第3期，555-711（2012）。 MSC公司：68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91A43型 91A24型 91A15型 03B80号 03B44号 03B45 05年3月 PDF格式BibTeX公司 XML格式
米歇尔·里戈;Laurent Waxweiler 有限域上可识别多项式集的逻辑特征。 （英语） Zbl 1252.03022号 发现的国际期刊。计算。科学。 22，第7期，1549-1563（2011）.MSC公司：03B25号 2006年11月 05年11月 PDF格式BibTeX公司 XML格式引用 \textit{M.Rigo}和\textit{L.Waxweiler}，国际法学研究所。计算。科学。22，第7号，1549--1563（2011；Zbl 1252.03022） 全文： 内政部
彼得·柯林斯;伊万·萨普雷夫。 离散时间和连续空间动态系统上（\text{CTL}^*\）的可计算语义。 （英语） Zbl 1238.68084号 发现的国际期刊。计算。科学。 22，第4期，801-821（2011）. 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins}和\textit{I.S.Zaprev}，国际期刊发现。计算。科学。22，第4号，801--821（2011；Zbl 1238.68084） 全文： 内政部
维萨·哈拉瓦;什特·潘·霍卢布 二元广义后对应问题的约简树。 （英语） Zbl 1211.68233号 发现的国际期刊。计算。科学。 22，第2期，473-490（2011）.MSC公司：65年第68季度 68兰特 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}和\textit{ŠHolub}，国际期刊发现。计算。科学。22，No.2，473--490（2011；Zbl 1211.68233） 全文： 内政部
斯齐拉德·兹索尔特·法泽卡斯 常规语言的力量。 （英语） Zbl 1218.68095号 发现的国际期刊。计算。科学。 22，第2期，323-330（2011）. 审核人：马格努斯·斯坦比（图尔库） MSC公司：65年第68季度 03B25号 05年3月 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{S.Z.Fazekas}，国际期刊发现。计算。科学。22，No.2，323--330（2011；Zbl 1218.68095） 全文： 内政部
沃尔克·迪克特（编辑）;德克·诺沃特卡（编辑） 特刊：语言理论的发展（DLT 2009）。根据2010年6月30日至7月3日在德国斯图加特举行的第13届国际会议上的发言选出的论文。 （英语） Zbl 1213.68034号 发现的国际期刊。计算。科学。22，第2期，275-426（2011）。 MSC公司：68-06 65年第68季度 2012年第68季度 第68季度第70季度 68兰特 03B25号 00B25型 PDF格式BibTeX公司 XML格式
阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默;马丁·蒙德亨克 CTL和CTL片段可满足性的复杂性。 （英语） Zbl 1186.68212号 发现的国际期刊。计算。科学。 20，第5期，901-918（2009）；勘误表同上26，第8号，1189-1190（2015）。MSC公司：2017年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，国际期刊发现。计算。科学。20，第5号，901--918（2009；Zbl 1186.68212） 全文： 内政部
杰里米·道森。;拉杰夫·戈雷 抽象还原系统的终止。 （英语） Zbl 1170.68502号 发现的国际期刊。计算。科学。 20，编号1，57-82（2009）.MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Dawson}和\textit{R.Goré}，Int.J.Found。计算。科学。20，第1号，57--82（2009；Zbl 1170.68502） 全文： 内政部
拉杜·马达尔;马泰奥·卡瓦利埃;肖恩·塞德瓦兹 菌落中稳健性、突变体和物种的逻辑特征。 （英语） Zbl 1175.68165号 发现的国际期刊。计算。科学。 19，第5号，第2部分，1199-1221（2008）.MSC公司：2005年第68季度 03B44号 2010年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人，国际期刊发现。计算。科学。19，第5号，第2部分，1199--1221（2008；Zbl 1175.68165） 全文： 内政部
沃尔克·迪克特;保罗·加斯廷;曼弗雷德·库夫莱特纳 对有限单词上一阶逻辑的小片段的调查。 （英语） Zbl 1157.03003号 发现的国际期刊。计算。科学。 19，第3期，513-548（2008）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B20型 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人，国际期刊发现。计算。科学。19，第3513-548号（2008年；兹bl 1157.03003） 全文： 内政部
史蒂文·林德尔 双链接数据结构上一阶逻辑的标准形式。 （英语） Zbl 1161.68401号 发现的国际期刊。计算。科学。 19，第1号，205-217（2008）.MSC公司：68第05页 03B10号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindell}，国际期刊发现。计算。科学。19，第1号，205--217（2008；Zbl 1161.68401） 全文： 内政部
拉迪姆·Bělohlávek;维伦·维科迪尔 分级设置中属性含义和函数相关性的基本算法。 （英语） Zbl 1149.68429号 发现的国际期刊。计算。科学。 19，第2号，297-317（2008）.MSC公司：68立方英尺 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Bělohlávek}和\textit{V.Vychodil}，国际期刊发现。计算。科学。19，第2号，297--317（2008；Zbl 1149.68429） 全文： 内政部
奥斯卡·H·伊巴拉。;当、哲;杨林敏 计数器、可达性问题和丢番图方程。 （英语） Zbl 1164.68013号 发现的国际期刊。计算。科学。 19，第4期，919-934（2008）.MSC公司：65年第68季度 03B25号 05年3月 2005年11月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人，国际法学研究所。计算。科学。19，第4号，919--934（2008；Zbl 1164.68013） 全文： 内政部
维萨·哈拉瓦;特罗·哈尔朱;Mika Hirvensalo 使用Claus实例的整数矩阵的不可判定边界。 （英语） Zbl 1202.03052号 发现的国际期刊。计算。科学。 第5号第18页，931-948页（2007年）.MSC公司：03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}等人，国际期刊发现。计算。科学。18，第5号，931--948（2007；Zbl 1202.03052） 全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳 半自动分布式合成。 （英语） Zbl 1112.68095号 发现的国际期刊。计算。科学。 18，第1期，113-138（2007）.MSC公司：60年第68季度 03B44号 64岁以下 2017年第68季度 65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，国际期刊发现。计算。科学。18，第1号，113--138（2007；Zbl 1112.68095） 全文： 内政部
斯特凡·德姆里;大卫·诺瓦克 关于超限序列的推理。 （英语） Zbl 1109.68065号 发现的国际期刊。计算。科学。 18，第1号，87-112（2007）.MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak}，国际期刊发现。计算。科学。18，第1号，87--112（2007；Zbl 1109.68065） 全文： 内政部
马泰奥·卡瓦利埃;文森佐·杜夫米亚 关于无时间P系统的进一步结果。 （英语） Zbl 1088.68056号 发现的国际期刊。计算。科学。 17，第1期，69-89（2006）.MSC公司：2010年第68季度 2005年第68季度 65年第68季度 68问题85 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{M.Cavaliere}和\textit{V.Deufemia}，国际期刊发现。计算。科学。17，No.1，69--89（2006；Zbl 1088.68056） 全文： 内政部
安卡·穆斯科尔;伊戈尔·瓦卢基维奇 LTL的NP完整片段。 （英语） Zbl 1161.03303号 发现的国际期刊。计算。科学。 16，第4期，743-753（2005）.MSC公司：03B44号 65年第68季度 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz}，国际期刊发现。计算。科学。16，编号4，743--753（2005年；兹bl 1161.03303） 全文： 内政部
马库斯·洛伊 自动幺半群中的可判定性和复杂性。 （英语） Zbl 1146.20314号 发现的国际期刊。计算。科学。 16，第4期，707-722（2005）.MSC公司：2005年5月20日 20立方米 03B25号 2010年1月20日 20楼67 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}，国际期刊发现。计算。科学。16，第4号，707--722（2005；Zbl 1146.20314） 全文： 内政部
奥利维·芬克尔 关于无限画面的可识别语言。 （英语） Zbl 1137.03319号 发现的国际期刊。计算。科学。 15，第6期，823-840（2004）.MSC公司：05年3月 03B25号 2012年第68季度 65年第68季度 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}，国际期刊发现。计算。科学。15，第6号，823--840（2004；Zbl 1137.03319） 全文： 内政部
杰斯珀·古尔曼·亨利克森 TLC的一个富有表现力的扩展。 （英语） Zbl 1066.68077号 发现的国际期刊。计算。科学。 13，第3期，341-360（2002）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}，国际J.Found。计算。科学。13，第3号，341--360（2002；Zbl 1066.68077） 全文： 内政部
靖国冢田 勘误表：“马丁·洛夫的类型理论是一个开放的框架”。 （英语） Zbl 1320.03066号 发现的国际期刊。计算。科学。 12，第5号，695（2001）.MSC公司：03B70号 35楼03号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukada}，Int.J.发现。计算。科学。12，第5号，695（2001；Zbl 1320.03066） 全文： 内政部
高府樱井 用于证明句法属性的范畴模型构造。 （英语） Zbl 1321.68159号 发现的国际期刊。计算。科学。 12，第2期，213-244（2001）.MSC公司：68甲18 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛T.Sakurai｝，Int.J.找到。计算。科学。12，No.2，213--244（2001；Zbl 1321.68159） 全文： 内政部
靖国筑田 马丁·洛夫的类型理论是一个开放的框架。 （英语） Zbl 1320.03065号 发现的国际期刊。计算。科学。 12，第1期，31-67（2001）；勘误表同上，第12号，第5，695（2001）。MSC公司：03B70号 35楼03号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukada}，Int.J.发现。计算。科学。12，第1号，第31-67页（2001年；Zbl 1320.03065） 全文： 内政部
高桥，Masako 项代数上的Lambda可表示函数。 （英语） Zbl 1320.03038号 发现的国际期刊。计算。科学。 12，第1期，3-29（2001）.MSC公司：03B40型 20日03时 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Takahashi}，Int.J.Found公司。计算。科学。12，第1号，第3--29号（2001；Zbl 1320.03038） 全文： 内政部
卢卡·罗维斯 轻仿射逻辑作为一种编程语言：第一个贡献。 （英语） Zbl 1320.03064号 发现的国际期刊。计算。科学。 11，第1期，113-152（2000）.MSC公司：03B70号 03楼52 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Roversi}，国际期刊发现。计算。科学。11，第1号，113--152（2000；Zbl 1320.03064） 全文： 内政部
一郎绪方 构造经典逻辑作为CPS-演算。 （英语） Zbl 1320.03063号 发现的国际期刊。计算。科学。 11，第1期，89-112（2000）.MSC公司：03B70号 03B40型 05年3月 03楼50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛I.Ogata｝，国际发现杂志。计算。科学。11，编号1，89-112（2000；Zbl 1320.03063） 全文： 内政部
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;马古斯·维恩斯 刚性可达性，刚性E-统一的非对称形式。 （英语） Zbl 1319.68127号 发现的国际期刊。计算。科学。 11，第1期，3-27（2000）.MSC公司：2012年第68季度 03B25号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛H.Ganzinger｝等人，国际发现杂志。计算。科学。11，第1号，第3--27号（2000年；Zbl 1319.68127） 全文： 内政部
医学硕士Sellink。 莱布尼茨等式的保守性。 （英语） Zbl 1320.03037号 发现的国际期刊。计算。科学。 9，第4期，431-454（1998）.MSC公司：03B40型 03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.P.A.Sellink}，国际J.Found。计算。科学。9，第4号，431--454（1998；Zbl 1320.03037） 全文： 内政部
费尔鲁兹Kamareddine 用无名变量进行显式替换的合理性。 （英语） 兹比尔1320.03036 发现的国际期刊。计算。科学。 9，第3号，321-349（1998）.MSC公司：03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}，国际期刊发现。计算。科学。9，第3号，321--349（1998；Zbl 1320.03036） 全文： 内政部
伊恩·梅森;卡罗琳·塔尔科特 关于VTLoE中对象系统的推理。 （英语） Zbl 0830.68021号 发现的国际期刊。计算。科学。 6，第3期，265-298（1995）.MSC公司：68甲15 68号01 68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Mason}和\textit{C.Talcott}，国际法学基金会。计算。科学。6，第3号，265--298（1995；Zbl 0830.68021） 全文： 内政部
斯科特·史密斯。 混合型偏总理论。 （英语） Zbl 0830.68078号 发现的国际期刊。计算。科学。 6，第3期，235-263（1995）.MSC公司：65年第68季度 68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Smith}，国际J.Found。计算。科学。6，第3号，235--263（1995；Zbl 0830.68078） 全文： 内政部
Makoto Tatsuta 单调归纳定义的两种可实现性解释。 （英语） Zbl 0802.03027号 发现的国际期刊。计算。科学。 5，第1期，1-21页（1994年）.MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Tatsuta｝，国际发现杂志。计算。科学。5，编号1，1--21（1994；Zbl 0802.03027） 全文： 内政部
费尔鲁兹Kamareddine;罗伯·奈德佩尔特 关于逐步显式替换。 （英语） Zbl 0806.03013号 发现的国际期刊。计算。科学。 4，第3期，197-240（1993）. 审核人：T.Hikita（川崎） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Nederpelt}，国际期刊发现。计算。科学。4，第3号，197--240（1993；Zbl 0806.03013） 全文： 内政部
范德霍克，W。;梅耶，J.-J.Ch。 使隐性知识的一些问题显性化。 （英语） Zbl 0759.68082号 发现的国际期刊。计算。科学。 3，第2期，193-223（1992）. 审核人：S.Gottwald（莱比锡） MSC公司：第68页第27页 03B45 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{J.J.Ch.Meyer}，Int.J.Found。计算。科学。3，第2号，193--223（1992；Zbl 0759.68082） 全文： 内政部
卡马尔·洛达亚;拉马努贾姆，R。;蒂亚加拉扬，P.S。 用于通信顺序代理的时序逻辑。一、。 （英语） Zbl 0754.68085号 发现的国际期刊。计算。科学。 3，第2期，117-159（1992）.MSC公司：60年第68季度 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}等人，国际期刊发现。计算。科学。3，编号2117-159（1992年；兹bl 0754.68085） 全文： 内政部
克劳德·马奇 ACD-基础理论的单词问题是无法确定的。 （英语） 兹伯利0765.03019 发现的国际期刊。计算。科学。 3，第1期，81-92（1992）.MSC公司：03D40号 2012年第68季度 08A50 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Marché}，国际期刊发现。计算。科学。3，编号1，81--92（1992；Zbl 0765.03019） 全文： 内政部
大卫·皮姆 （lambda{}\Pi{}\）-演算的统一算法。 （英语） Zbl 0784.03013号 发现的国际期刊。计算。科学。 第3期，第333-378号（1992年）.MSC公司：03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}，找到国际期刊。计算。科学。3，编号3，333--378（1992；Zbl 0784.03013） 全文： 内政部
乔瓦尼·潘蒂 解决涉及知识的数论问题。 （英语） Zbl 0765.68184号 发现的国际期刊。计算。科学。 2，第4期，419-424（1991）.MSC公司：第68页第27页 03B45 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Panti}，国际期刊发现。计算。科学。2，第4号，419--424（1991；Zbl 0765.68184） 全文： 内政部
马丁·奥列特，纳西索;何塞·梅塞盖尔 从Petri网到通过类别的线性逻辑：一项调查。 （英语） Zbl 0766.68100号 发现的国际期刊。计算。科学。 2，第4期，297-399（1991）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：68问题85 03B20型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，Int.J.Found。计算。科学。2，编号4297-399（1991年；兹bl 0766.68100） 全文： 内政部
Sachio Hirokawa lambda项的主体类型赋值。 （英语） Zbl 0746.03012号 发现的国际期刊。计算。科学。 第2期，第149-162页（1991年）. 审核人：R.David（香槟） MSC公司：03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Hirokawa}，国际J.Found。计算。科学。2，编号2149-162（1991年；兹bl 0746.03012） 全文： 内政部
V·阿尔文德。;比斯瓦斯，S。 [Thanh Tung Nguyen先生] 具有一阶可表示子图性质的边删除图问题。 （英语） Zbl 0753.05066号 发现的国际期刊。计算。科学。 2，第2期，83-99（1991年）.MSC公司：05C99年 65年第68季度 05C85号 03B10号机组 05C45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{S.Biswas}，国际期刊发现。计算。科学。2，编号2，83--99（1991；Zbl 0753.05066） 全文： 内政部
佛朗哥·巴巴内拉 组合了术语重写和类型赋值系统。 （英语） Zbl 0732.68061号 发现的国际期刊。计算。科学。 第1期，第3期，165-184（1990）.MSC公司：2012年第68季度 03B40型 03年3月 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}，国际期刊发现。计算。科学。1，第3号，165--184（1990；Zbl 0732.68061） 全文： 内政部
苏布拉曼尼亚，V.S。 逻辑编程的环形理论基础。 （英语） Zbl 0726.68017号 发现的国际期刊。计算。科学。 第1期，第23-48页（1990年）.MSC公司：68N17号 03B50号 68问题55 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Subrahmanian}，国际法院发现。计算。科学。1，编号1，23--48（1990；Zbl 0726.68017） 全文： 内政部
休伯特·科蒙 求解符号排序约束。 （英语） Zbl 0722.03012号 发现的国际期刊。计算。科学。 1，No.4，387-411（1990）.MSC公司：03B25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛H.Comon｝，Int.J.找到。计算。科学。1，No.4，387--411（1990；Zbl 0722.03012） 全文： 内政部
阿道夫·皮佩尔诺;恩里科·特隆西 （lambda）-微积分中的正则方程组。 （英语） Zbl 0758.03011号 发现的国际期刊。计算。科学。 1，第3号，325-339（1990）. 审核人：P.马特拉纳（普拉哈） MSC公司：03B40型 68号01 68甲15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Piperno}和\textit{E.Tronci}，国际期刊发现。计算。科学。1，编号3，325--339（1990；Zbl 0758.03011） 全文： 内政部
马雷克·苏切内克（Marek A.Suchenek）。 Lyndon同态定理在极小模型理论中的应用。 （英语） Zbl 0736.03008号 发现的国际期刊。计算。科学。 1，第1号，49-59（1990）. 审核人：W.Łukaszewicz MSC公司：03B80号 第68页第27页 03C99号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Suchenek}，国际法学基金会。计算。科学。1，编号1，49-59（1990；Zbl 0736.03008） 全文： 内政部