Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 10 of 18 search results for KA :ZA31 op |u:www.dpmms.cam.ac.uk where 0 match all words and 18 match some words.

  1. Results that match 2 of 3 words

  2. Notre Dame Journal of Formal Logic Volume ??, Number ...

    https://www.dpmms.cam.ac.uk/~ardm/ardm_njb_ndjfl2.pdf
    11 Apr 2015: We have two two-placerelation symbols and =, propositional connectives , &, V , = , ,unrestricted quantifiers , , restricted quantifiers r, r, a class forming op-erator. ... a]k = {=(f) |f f ka & f is injective}. a (153).

  3. ��������� �� ��� ������ ��� ��� ������ ��������…

    https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2005-2006/06ex2.pdf
    13 Feb 2006: "$#&%')(,.-0/214356,8793:<;='>:(?4@ ,.ACBED>79FG?4@IHKJ+@@LNM. OPQP RSUT>RQVWRXKYZ[U 0] Y_a[bcdRSefKRSWgh[ P RSi P RXY_]RQejRQk_RSmln op deWUdKWqi bkb[UYZrjsturvj]wxW0 RSUTKr0sdyrvjRXz ... nK h j[RS}RQRSR>op deWU]KW0R P i_ P z>w VRXkb P RQgrh}RQeb

  4. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho93.pdf
    21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:. ... Though cast in. category-theoretic language, the result in op. cit. is essentially the inter-denability result of second.

  5. ��������� �� ��� ������ ��� ��� ������ ����������…

    https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2006-2007/07ex2.pdf
    14 Feb 2007: "!$#&%')(,.-0/214356,8793:<;='>:(?4@ ,.ACBED>79FG?4@IHKJ+@@LNM. OPQP RSUT">RQVWRXKYZ[U 0] Y_a[bcdRSe"fKRSWgh[ P RSi P RXY_]RQejRQk_RSml. n op deWUdKWqi bkb[UYZrjsturvj]wxW0 ... u P __z]w9rIRX0U ]_UR|wdzw" 08 n WdfWdRSwzRXKR P i.]_UWghRXK[RS[KWU]W n) z]Uk

  6. Vanishing cycles and non-classical parabolic cohomologyA. J.…

    https://www.dpmms.cam.ac.uk/~ajs1005/preprints/van.pdf
    29 Jan 2010: y0! (R0iig Symk F)x! (R1g! Symk F)x! (R1g Symk F)x! 0k k kA B CHere the top line is the exact sequence (2.8.1), and the bottom ... P1 op whosegeneric bre is j:X! P1K. Hence in the notation of 2.15 the morphism jZ :X!

  7. ���������� � ���� � ����������� ������ �!��…

    https://www.dpmms.cam.ac.uk/study/II/Galois/2006-2007/ex3.pdf
    13 Nov 2006: HIGLRRV0NgZ.M>C9XD"td 9;" d kº?n?»dA@Q? HI:=]y?Ho.3R?H¥p?HR?H>Z[E0NgZ.M>F9 KÁ t!d 9 t Á d

  8. ��������� ��� ������� ��� ���� ������� ���� �"! #$��% ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2006/hp06.pdf
    26 Apr 2006: pjw6Onj[tkj"t8z}}nNpxoLsOvX}r6r[sOYj[v.Srt3nN vjwp3n.yro8zìáKáç!Ká%é¤èäYrodpxq6n66oLrtLn.tXrw|!pxq!sOt1Yj[hn.o.lQn6rW6r[p(o3nN6sOoLnjW6nNY!sSpxsSrBr[|!p3qYjwpÁlQntLsO}6Sz6n.nNpxr6rl ... 491ý;Hù:M49Oý70ãûý. òÈÀoZpEÌ qÂ7r!ÞòÈÀ(op"

  9. Geometric inverse problems with emphasis on two dimensions Gabriel ...

    https://www.dpmms.cam.ac.uk/~gpp24/GIP2D_driver.pdf
    1 Feb 2023: Geometric inverse problems. with emphasis on two dimensions. Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann. iii. To our families and all who have supported us. This material has been published by Cambridge University Press & Assessment

  10. Hopf measuring comonoids and enrichment

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2017/hlfv17.pdf
    4 Apr 2018: P : Mon(V)op Mon(V) Comon(V) (30)is called the Sweedler hom in [4]. ... The functor P (, ) : Mon(V)op Mon(V) Comon(V) is continuousin each variable.

  11. Shan.dvi

    https://www.dpmms.cam.ac.uk/~twk/Shan.pdf
    20 Dec 2018: Coding and Cryptography. T. W. Körner. December 20, 2018. Transmitting messages is an important practical problem. Coding theoryincludes the study of compression codes which enable us to send messagescheaply and error correcting codes which ensure

Refine your results

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.