论文信息 - Logic programming and substitutions - 字舞流文

Logic programming and substitutions

Gudmund Skovbjerg Frandsen

[1] Gudmund Skovbjerg Frandsen. Logic Programming, Substitutions and Finite Computability , 1985 .

[2] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.

[3] Dana S. Scott,et al. Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[4] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.