卡普尔,卡尔佩什;卡马尔·洛达亚;美国雷迪。 具有分离逻辑的细粒度并发。 (英语) Zbl 1252.03077号 J.菲洛斯。日志。 40,第5期,583-632(2011).MSC公司:03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Kapoor}等人,J.Philos。日志。40,第5号,583--632(2011;Zbl 1252.03077) 全文: 内政部 链接
安东内利,G.奥尔多 正自由逻辑的原型理论。 (英语) Zbl 0953.03033号 J.菲洛斯。日志。 29,第3期,277-294(2000).MSC公司:03B60号 03C40号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Antonelli},J.Philos。日志。29,编号3277-294(2000年;兹bl 0953.03033) 全文: 内政部
范·艾伊克(Jan van Eijck);德弗里斯,Fer-Jan 推理更新逻辑。 (英语) Zbl 0811.03025号 J.菲洛斯。日志。 24,第1期,第19-45页(1995年).MSC公司:03B80号 03B65号 68立方英尺 03B70号 03B45号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}和textit{F.-J.de Vries},J.Philos。日志。24,编号1,19-45(1995;Zbl 0811.03025) 全文: 内政部