亚历山德罗·阿塔尔(编辑);克莱尔·狄克逊(编辑);迈克尔·费希尔(编辑);恩里科·弗兰科尼(编辑) 特刊:2002年7月7日至9日,英国曼彻斯特《时代》杂志,第九届时间表征与推理国际研讨会论文集。 (英语) Zbl 1039.03500号 J.日志。计算。 14,第1期,115页(2004年).MSC公司:03-06 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}(编辑)等,J.Log。计算。14,第1期,115页(2004;Zbl 1039.03500) 全文: 内政部
桑顿,J。;博蒙特,M。;A.萨塔尔。;迈克尔·马赫 用于建模和解决区间代数问题的局部搜索方法。 (英语) Zbl 1085.68154号 J.日志。计算。 14,第1期,93-112(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Thornton}等人,J.Log。计算。14,第1号,93--112(2004;Zbl 1085.68154) 全文: 内政部 链接
费尔南多·蒂姆 自然语言语义中事件的有限状态方法。 (英语) Zbl 1156.68598号 J.日志。计算。 14,第1期,79-92(2004).MSC公司:68T50型 18 C50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Fernando},J.Log。计算。14,第1号,79--92(2004;Zbl 1156.68598) 全文: 内政部 链接
卡洛·库比;马西莫·弗朗西切特;阿德里亚诺·佩隆 表示和推理时间粒度。 (英语) Zbl 1085.68087号 J.日志。计算。 14,第1期,第51-77页(2004年).MSC公司:60年第68季度 03B70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}等人,J.Log。计算。14,No.1,51--77(2004;Zbl 1085.68087) 全文: 内政部
埃琳娜·卡莫西;伊丽莎·贝尔蒂诺;马可·梅西蒂;乔瓦纳游击队 处理多等级时态对象的过期。 (英语) Zbl 1085.68034号 J.日志。计算。 14,第1期,23-50(2004).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Camosi}等人,J.Log。计算。14、第1号、第23--50号(2004年;Zbl 1085.68034) 全文: 内政部
塞巴斯蒂安·鲍尔;伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 关于非局部命题和弱一元量化(mathcal{CTL}^{ast})。 (英语) 兹比尔1046.03007 J.日志。计算。 14,第1期,3-22(2004). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bauer}等人,J.Log。计算。14,第1号,第3--22号(2004;Zbl 1046.03007) 全文: 内政部