Search

Search Funnelback University

Search powered by Funnelback
1 - 4 of 4 search results for katalk:za33 24 |u:www.dpmms.cam.ac.uk where 0 match all words and 4 match some words.
  1. Results that match 1 of 2 words

  2. Abstract Interpretation of Proofs: ClassicalPropositional Calculus…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2004/aap04.pdf
    6 Jul 2004: An important conceptualunderstanding of the Frobenius condition or structure was suggested by Lawvere[24]. ... Cam-bridge University Press, 2003. 24. F. W. Lawvere. Ordinal sums and equational doctrines.
  3. The philosophy of mathematics

    https://www.dpmms.cam.ac.uk/~wtg10/philosophy.html
    20 Sep 2004: Suppose, for example, that f is a complicated function of the positive integers arising from some research problem and that the first ten values it takes are 2, 6, 14, 24,
  4. 27 Jan 2004: A classification of the possible fibres of π was given by Kodaira [24]: the cases arelabeled Ik (k 0), II, III, IV, I (k 0), II, III, IV.
  5. Topics in Combinatorics W.T. Gowers, F.R.S. Lent 2004 1 ...

    https://www.dpmms.cam.ac.uk/~par31/notes/tic.pdf
    13 Nov 2004: Proof. (i) Setting B = A and C = f (A) in Corollary 24, and noting that. ... 2edges. 24. Let B = {i : at least 4n pairs are joined in Gi}.

Refine your results

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.