弗雷德里克·本哈莫;福雷德里克·古阿拉德;埃里克·朗格努;马克·克里斯蒂 摄像机控制和运动规划的区间约束求解。 (英语) Zbl 1366.93199号 ACM事务处理。计算。日志。 5,第4期,732-767(2004).MSC公司:93亿B51 65G30型 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Benhamou}等人,ACM翻译。计算。日志。5,第4号,732--767(2004;Zbl 1366.93199) 全文: 内政部 arXiv公司
De Boer,Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 证明定时并发约束程序的正确性。 (英语) Zbl 1367.68189号 ACM事务处理。计算。日志。 5,第4期,706-731(2004).MSC公司:第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.S.De Boer}等人,《美国医学杂志》。计算。日志。5,第4号,706--731(2004;Zbl 1367.68189) 全文: 内政部
卡斯滕·卢茨 NExpTime具有具体域的完整描述逻辑。 (英语) Zbl 1367.68288号 ACM事务处理。计算。日志。 5,第4期,669-705(2004).MSC公司:68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz},ACM事务。计算。日志。5,第4号,669--705(2004;Zbl 1367.68288) 全文: 内政部
J.V.塔克。;朱克,J.I。 度量部分代数上的抽象与具体计算。 (英语) Zbl 1367.68102号 ACM事务处理。计算。日志。 5,第4号,611-668(2004).MSC公司:2005年第68季度 03D45号 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},ACM Trans。计算。日志。5,第4号,611--668(2004;Zbl 1367.68102) 全文: 内政部 arXiv公司
大卫·格里芬;Vaandrager,Frits公司 赋范模拟理论。 (英语) Zbl 1367.68192号 ACM事务处理。计算。日志。 5,第4期,577-610(2004).MSC公司:第68季度第60季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Griffoen}和\textit{F.Vaandrager},ACM Trans。计算。日志。5,第4号,577--610(2004;Zbl 1367.68192) 全文: 内政部 链接