何塞·卡莫;阿米尔卡塞尔纳达斯 再次对线性逻辑进行分支。 (英语) 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) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 数据库动态的规范和验证。 (英语) 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) 全文: 内政部