Noortje J.Venhuizen。;佩特拉·亨德里克斯;马修·克罗克。;布劳沃,哈姆 分布形式语义。 (英语) Zbl 1487.68239号 Inf.计算。 287,文章ID 104763,21 p.(2022).MSC公司:68T50型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Venhuizen}等人,《Inf.Compute》。287,文章ID 104763,21 p.(2022;Zbl 1487.68239) 全文: 内政部 arXiv公司
弗朗西斯科·卡拉维塔;怀特,朗福德B。 句法随机过程:定义、模型和相关推理问题。 (英语) Zbl 1518.68155号 Inf.计算。 281,文章ID 104667,29 p.(2021).MSC公司:2012年第68季度 60J85型 87年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{F.Carravetta}和\textit{L.B.White},信息计算。281,文章ID 104667,29 p.(2021;Zbl 1518.68155) 全文: 内政部
安妮·福雷特 预分组演算的模块化和参数化表示。 (英语) Zbl 1200.68256号 Inf.计算。 208,第5号,510-520(2010).MSC公司:68T50型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Foret},信息计算。208、5号、510--520(2010;Zbl 1200.68256) 全文: 内政部
阿德里安·布拉索维亚努 量词域的结构化回指。 (英语) Zbl 1200.68255号 Inf.计算。 208,第5期,450-473(2010).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brasoveanu},Inf.计算。208,第5号,450-473(2010;Zbl 1200.68255) 全文: 内政部
费尔南多·蒂姆 LTL中的情况为字符串。 (英语) Zbl 1187.68631号 Inf.计算。 207,第10号,980-999(2009).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Fernando},信息计算。207,第10号,980--999(2009;Zbl 1187.68631) 全文: 内政部
安德烈亚斯·马莱蒂 扩展自顶向下树传感器的组成。 (英语) Zbl 1154.68075号 Inf.计算。 206,编号9-10,1187-1196(2008).MSC公司:65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Maletti},Inf.计算。206,编号9--10,1187--1196(2008;Zbl 1154.68075) 全文: 内政部
Luz,Saturnino F。 使用tableaux自动化Lambek和其他类别计算。 (英语) Zbl 1006.03008号 Inf.计算。 162,编号1-2206-225(2000).MSC公司:03B35型 03B47号 68T50型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Luz},Inf.计算。162,编号1--2,206-225(2000;Zbl 1006.03008) 全文: 内政部
马丁·米勒;约阿希姆·尼伦 用二阶一元逻辑表示的特征树上的排序约束。 (英语) Zbl 1046.68645号 Inf.计算。 159,编号1-2,22-58(2000).MSC公司:68立方英尺 03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Muller}和\textit{J.Niehren},Inf.Compute。159,编号1--2,22-58(2000;Zbl 1046.68645) 全文: 内政部 链接
埃里克·斯文(Eric Sven Ristad) 回指问题。 (英语) Zbl 0776.68099号 Inf.计算。 105,第1期,105-131(1993). 审核人:E.S.里斯塔德 MSC公司:68T50型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Ristad},Inf.计算。105,编号1,105--131(1993;Zbl 0776.68099) 全文: 内政部