CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Lawrence Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge, 1987. Cambridge Tracts in Theoretical Computer Science, Volume 2.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson, L. C. Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, Cambridge, 1987.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge University Press, 1987).
Paulson, L.C.: Logic and computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press.
Paulson L. C. Logic and Computation - Interactive Proof with the Cambridge LCF, Cambridge University Press, (1987).
L. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge Tracts in Theoretical Computer Science 2 (Cambridge University Press, 1987).
L C Paulson. Logic and Computation- interactive proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science (2), 1987. Cambridge University Press.
L. Paulson, "Logic and computation : interactive proof with Cambridge LCF", Cambridge University Press, 1987.
L. Paulson, "Logic and computation : interactive proof with Cambridge LCF", Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Number 2 in Cambridge tracts in theoretical computer science. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge Univ. Press, 1987.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987
Paulson LC (1986) Logic and computation: interactive proof with Cambridge LCF. Cambridge University Press, Cambridge, UK
Lawrence C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson, L.C., Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, in the series Cambridge Tracts in Theoretical Computer Science, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson, L.C., Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge Tracts in Theoretical Computer Science 2 (Cambridge University Press, Cambridge, 1987).
Paulson, L.C. 1987. Logic and computation : interactive proof with Cambridge LCF. Cambridge: Cambridge University Press.
Paulson, L.C.: Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge Univ. Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, England, 1987.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF , Cambridge Tracts in Theoretical Computer Science 2 (Cambridge University Press, 1987).
Paulson, L. C. (1987) Logic and computation: interactive proof with Cambridge LCF.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, Cambridge, New York, 1987.
Lawrence C. Paulson. Logic and computation : interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge Univ. Press, 1987.
Paulson, L.C., Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, 1987.
Lawrence Paulson. Logic and Computation: Interactive Proof With Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L.C. Paulson. Logic and Computation : Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation --- Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Cambridge University Press, Cambridge, Great Britain, 1990.
L.C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Laurence C. Paulson. Logic and Computation --- Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L.C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computing 2, Cambridge University Press, 1987.
Paulson LC. Logic and Computation: Interactive Proof with Cambridge LCF, vol 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L. Paulson. Logic and Computation--Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge, 1987.
L. Paulson, Logic and computation : interactive proof with Cambridge LCF, Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987. 94 Formal Mathematics for Verifiably Correct Program Synthesis
Paulson LC. Logic and Computation: Interactive Proof with Cambridge LCF, vol 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson, L. C., Logic and Computation---Interactive Proof with Cambridge lcf, Cambridge Tracts in Theoretical Computer Science (2), Cambridge University Press, 1987.
Paulson, L. C., Logic and Computation: Interactive proof with Cambridge LCF, Cambridge University Press, 1987
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume
Lawrence C. Paulson. Logic and Computation --- Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge, 1987.
Lawrence C. Paulson. Logic and computation : interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson, L. C. (1987). Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge.
Paulson, L. C. (1987a), Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press.
Paulson, L.C. Logic and computation: interactive proof with Cambridge LCF, Cambridge University Press, 1986.
Larry Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Number 2 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Univ. Press (1987).
L. C. Paulson. Logic and Computation---Interactive Proof with Cambridge LCF. CUP, 1987.
Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Number 2 in Cambride Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge, 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson, L. C. (1987) Logic and computation: interactive proof with Cambridge LCF, Volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
L. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science 2. CUP 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987. 118
Paulson, L.C. Logic and computation: Interactive proof with Cambridge LCF, Cambridge University Press, 1987.
Paulson, L.C. Logic and computation: interactive proof with Cambridge LCF, C.U.P., 1986.
Paulson, L. C. Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, Cambridge, 1987.
L.C. Paulson. Logic and Computation : Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence Paulson. Logic and computation: interactive proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science, Vol. 2. CUP. 1987.
Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Number 2 in Cambride Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson, L. C. (1987) Logic and computation: interactive proof with Cambridge LCF, Volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson, L. C. (1987). Logic and Computation---Interactive Proof with Cambridge LCF, Cambridge University Press.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, England, 1987.
L. C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Cambridge Univ. Press, 1987.
L. Paulson. Logic and Computation--Interactive proof with Cambridge LCF. Cambridge University Press, 1987. 184
Lawrence C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, England, 1987.
Paulson, L. C. (1987). Logic and Computation---Interactive Proof with Cambridge LCF, Cambridge University Press.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge University Press, 1987).
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Computing Reviews, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1987.
Paulson, L. C., Logic and Computation: Interactive proof with Cambridge LCF, Cambridge Univ. Press, 1987
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Computing Reviews, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Larry Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, England, 1987.
L.C. Paulson. Logic and computation : interactive proof with Cambridge LCF. Cambridge tracts in theoretical computer science, 1987.
L Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Number 2 in Cambride Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson L.S. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and computation: interactive proof with Cambridge LCF. Number 2 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Paulson, L. C. (1987) Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science vol. 2). Cambridge University Press, Cambridge, UK.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson L.S. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Laurence C. Paulson. Logic and Computation --- Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation---Interactive Proof with Cambridge LCF. CambridgeUniv ersity Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computing 2, Cambridge University Press, 1987.
L.C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computing 2, Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1987.
L. C. Paulson. Logic and Computation : Interactive proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF,volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation:Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Lawrence Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge, 1987. Cambridge Tracts in Theoretical Computer Science, Volume 2.
Larry Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume Cambridge Tracts in Theoretical Computer Science 2. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge University Press, 1987).
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge (Cambridge University Press, 1987). 79
Larry Paulson. Logic and Computation: Interactive Proof with Cambridge LCF, volume Cambridge Tracts in Theoretical Computer Science 2. Cambridge University Press, 1987.
Lawrence C. Paulson. Logic and Computation: Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
Paulson, L. C., Logic and Computation: Interactive proof with Cambridge LCF, Cambridge Univ. Press, 1987
Lawrence C. Paulson. Logic and Computations: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science, Volume 2. Cambridge University Press, 1987.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge University Press, 1987).
L. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Tracts in Theoretical Computer Science Number 2, Cambridge University Press, 1987.
L. C.Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, Cambridge, England, 1987.
L.Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987. Cambridge Tracts in Theoretical Computer Science 2.
L.C. Paulson. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.