论文信息 - Logic and linguistics meeting - 字舞流文

Logic and linguistics meeting

Richmond H. Thomason | Alice ter Meulen | Jon Barwise | William Ladusaw | Richard Oehrle | R. Oehrle | Vann McGee

[1] Ewa Orlowska,et al. Semantic Analysis of Inductive Reasoning , 1986, Theor. Comput. Sci..

[2] Nicolas Spyratos,et al. Partition semantics for relations , 1985, PODS '85.

[3] Ronald Fagin,et al. An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic , 1981, JACM.