J.菲亚德罗。;T·迈鲍姆。 道义规范的时间推理。 (英语) Zbl 0731.03022号 J.日志。计算。 第1期,第3期,357-395(1991年). 审核人:E.Melis(萨尔布吕肯) MSC公司:03B80号 68T27型 03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{T.Maibaum},J.Log。计算。1,第3号,357--395(1991;Zbl 0731.03022) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 数据库动态的规范和验证。 (英语) Zbl 0627.68078号 学报信息。 25,第6号,625-661(1988).MSC公司:68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},《学报》第25期,第6期,第625--661页(1988;Zbl 0627.68078) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 INFOLOG事件和事务的线性时态命题逻辑。 (英语) Zbl 0596.68063号 信息系统。 11, 61-85 (1986). 审核人:E.克努特 MSC公司:68第20页 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},信息系统。11、61-85(1986年;Zbl 0596.68063) 全文: 内政部