David A.Basin。 包含结合交换函数和交换绑定运算符的项的等式是同构完备的。 （英语） 兹比尔1509.68099 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。449, 251-260 (1990).MSC公司：65年第68季度 03B35型 05C60型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.盆地}，莱克托。注释计算。科学。449251-260（1990年；兹比尔1509.68099） 全文： 内政部 链接
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 （英语） Zbl 0718.03014号 西奥。计算。科学。 75，第3期，263-287（1990）. 审核人：J.-J.Ch.Meyer（阿姆斯特丹） MSC公司：03B45号 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，Theor。计算。科学。75，第3号，263--287（1990；Zbl 0718.03014） 全文： 内政部
V·曼卡。;A.萨利布拉。;G.斯科洛。 等式逻辑。 （英语） Zbl 0716.03022号 西奥。计算。科学。 77，No.1-2，131-159（1990）.MSC公司：03C05号机组 68问题65 08B05年 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca}等人，Theor。计算。科学。77，编号1--2，131-159（1990；Zbl 0716.03022） 全文： 内政部 链接
Hemachandra，A巷。;史蒂文·鲁迪奇 关于排名的复杂性。 （英语） Zbl 0708.68020号 J.计算。系统。科学。 第251-271号第41页（1990年）. 审核人：U.Schöning大学 MSC公司：2015年第68季度 68问题30 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Hemachandra}和\textit{S.Rudich}，J.Compute。系统。科学。41，No.2，251--271（1990；Zbl 0708.68020） 全文： 内政部
安东尼奥·加维兰斯·弗兰科;弗朗西斯科·卢西奥·卡拉斯科 部分函数的一阶逻辑。 （英语） Zbl 0707.03021号 西奥。计算。科学。 74，No.1，37-69（1990）. 审核人：S.Miura公司 MSC公司：03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Gavilanes-Franco}和\textit{F.Lucio-Carrasco}，Theor。计算。科学。74，编号1，37--69（1990；Zbl 0707.03021） 全文： 内政部
Lodaya，K。;Shyamasundar，R.K。 任务环境中异常处理的证明理论。 （英语） Zbl 0706.68076号 Acta信息。 28，第1号，7-41（1990）.MSC公司：60年第68季度 03B70号 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}和\textit{R.K.Shyamasundar}，《学报》第28期，第1期，第7--41页（1990；Zbl 0706.68076） 全文： 内政部
富勒普，Z。;Vágvölgyi，S。 树变换类的幺半群的完整重写系统。 （英语） Zbl 0705.68068号 Inf.计算。 86，No.2，195-212（1990）.MSC公司：2012年第68季度 03天40 03天 2005年2月20日 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{S.Vágvölgyi}，Inf.Comput。86，第2号，195--212（1990；Zbl 0705.68068） 全文： 内政部
埃里克·艾伦德;渡边，乌萨木 科尔莫戈洛夫复杂性和计数集的度。 （英语） Zbl 0704.03023号 Inf.计算。 86，No.2，160-178（1990）. 审核人：格奥尔赫·格里戈拉斯（伊阿什） MSC公司：2015年3月1日 2015年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}和\textit{O.Watanabe}，Inf.Comput。86，第2号，160--178（1990；Zbl 0704.03023） 全文： 内政部
罗宾·米尔纳 在另一个并行演算中解释一个并发演算。 （英语） Zbl 0702.68083号 西奥。计算。科学。 75，编号1-2，3-13（1990）.MSC公司：60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{R.Milner}，Theor。计算。科学。75，第1-2,3-13号（1990年；兹bl 0702.68083） 全文： 内政部
乌多·W·利佩克。 将动态完整性约束转换为事务规范。 （英语） Zbl 0702.68047号 西奥。计算。科学。 76，No.1，115-142（1990）.MSC公司：第68页，共15页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{U.W.Lipeck}，Theor（西奥·利佩克）。计算。科学。76，编号1，115--142（1990；Zbl 0702.68047） 全文： 内政部
汉斯·休特尔 SnS可以进行模态表征。 （英语） Zbl 0701.68064号 西奥。计算。科学。 74，第2期，239-248（1990）.MSC公司：65年第68季度 03B45号 03C85号 PDF格式BibTeX公司 XML格式引用 \文本{H.Hüttel}，Theor。计算。科学。74，第2号，239--248（1990；Zbl 0701.68064） 全文： 内政部
R.D.坦能。 规范逻辑的语义分析。 （英语） Zbl 0699.68110号 Inf.计算。 85，No.2，135-162（1990）.MSC公司：68问题55 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent}，信息计算。85，No.2，135--162（1990；Zbl 0699.68110） 全文： 内政部
卡雷尔·库利克二世 证明等价问题可判定性的新技术。 （英语） 兹比尔0699.68092 西奥。计算。科学。 71，No.1，29-45（1990）.MSC公司：65年第68季度 2012年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{K.Culik II}，Theor。计算。科学。71，No.1，29--45（1990；Zbl 0699.68092） 全文： 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰;弗里德里希·奥托 术语重写系统的地面影响。 （英语） Zbl 0699.68041号 Inf.计算。 86，编号1，14-31（1990）.MSC公司：68问题65 68瓦30 03天 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，《信息计算》。86，No.1，14--31（1990；Zbl 0699.68041） 全文： 内政部
乔纳森·戈德斯汀;金塔拉，C.M.R。;沃奇克，德特勒夫 关于正则语言中不确定性的度量。 （英语） Zbl 0698.68068号 Inf.计算。 86，No.2，179-194（1990）.MSC公司：65年第68季度 65年第68季度 03天60 PDF格式BibTeX公司 XML格式引用 \textit{J.Goldstine}等人，《信息计算》。86，No.2，179--194（1990；Zbl 0698.68068） 全文： 内政部
伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 有序代数中的等式完备。 （英语） Zbl 0698.68028号 西奥。计算。科学。 72，第2-3号，169-202（1990）.MSC公司：68问题65 03天 08B05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛I.Gnaedig｝等人，Theor。计算。科学。72，编号2--3，169--202（1990；Zbl 0698.68028） 全文： 内政部
维克托·萨贝尔菲尔德（Viktor K.Sabelfeld）。 在一类新的程序方案中确定函数等价性的算法。 （英语） Zbl 0698.68016号 西奥。计算。科学。 71，No.2，265-279（1990）.MSC公司：60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{V.K.Sabelfeld}，Theor。计算。科学。71，No.2，265--279（1990；Zbl 0698.68016） 全文： 内政部
Larsen，Kim G。 递归Hennessy-Milner逻辑中可满足性的证明系统。 （英语） Zbl 0698.68014号 西奥。计算。科学。 72，编号2-3，265-288（1990）.MSC公司：60年第68季度 03B70号 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，Theor。计算。科学。72，编号2--3，265--288（1990；Zbl 0698.68014） 全文： 内政部
莫舍·瓦尔迪。 端点标记可以发挥作用。 （英语） Zbl 0697.68075号 信息处理。莱特。 35，第3期，145-148（1990）.MSC公司：65年第68季度 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}，Inf.过程。莱特。35，第3号，145--148（1990；Zbl 0697.68075） 全文： 内政部
何塞·卡莫;阿米尔卡尔·塞尔纳达斯 再次对线性逻辑进行分支。 （英语） Zbl 0697.68022号 形式方面计算。 2，第1号，24-59（1990）.MSC公司：60年第68季度 03B45号 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmo}和\textit{A.Sernadas}，正式Asp。计算。2，编号1，24-59（1990；Zbl 0697.68022） 全文： 内政部
艾斯布兰德·简·奥尔伯斯堡;约斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 常规DNLC图形语言的复杂性。 （英语） 兹伯利0694.68045 J.计算。系统。科学。 40，第3号，376-404（1990）.MSC公司：65年第68季度 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Aalbersberg}等人，J.Compute。系统。科学。40，第3号，376--404（1990；Zbl 0694.68045） 全文： 内政部
艾蒂安，格兰让 一个变量的一阶谱。 （英语） Zbl 0694.68034号 J.计算。系统。科学。 40，第2期，136-153（1990）.MSC公司：65年第68季度 2005年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.Grandjean}，J.计算。系统。科学。40，编号2，136--153（1990；Zbl 0694.68034） 全文： 内政部
阿泽丁·拉兹雷克;皮埃尔·莱斯坎;珍妮·雅克·泰尔 用于证明归纳等式、相对完备性和（ω）-完备性的工具。 （英语） Zbl 0691.68026号 Inf.计算。 84，No.1，47-70（1990）.MSC公司：68问题65 68吨15 68瓦30 60年第68季度 68第05页 68号01 03天 PDF格式BibTeX公司 XML格式引用 \textit{A.Lazrek}等人，《信息计算》。84，编号1，47--70（1990；Zbl 0691.68026） 全文： 内政部