Proof theory

Results: 1637



#Item
1INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds

INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds

Add to Reading List

Source URL: math.univ-bpclermont.fr

Language: English - Date: 2018-03-05 11:11:23
2Author Proof  A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-01-24 06:23:37
3Proof Articles  Sharing Proofs Theory Packages

Proof Articles Sharing Proofs Theory Packages

Add to Reading List

Source URL: www.gilith.com

Language: English - Date: 2017-11-12 23:29:51
    4The theory of canonical lifts for abelian varieties (draft version) Chloe Martindale February 10, 2016 These notes are from a talk at Leiden University, of which the aim was to understand Drinfeld’s proof of the Serre-

    The theory of canonical lifts for abelian varieties (draft version) Chloe Martindale February 10, 2016 These notes are from a talk at Leiden University, of which the aim was to understand Drinfeld’s proof of the Serre-

    Add to Reading List

    Source URL: www.martindale.info

    Language: English - Date: 2017-05-08 10:22:16
      5A00137:  Proof of Work as it relates to the theory of the firm. Proof of Work as it relates to the theory of the firm.

      A00137: Proof of Work as it relates to the theory of the firm. Proof of Work as it relates to the theory of the firm.

      Add to Reading List

      Source URL: nchain.com

      Language: English - Date: 2017-07-17 18:55:42
        6Towards an integrated theory of causal scenarios and evidential arguments Floris BEX Department of Information and Computing Sciences, Utrecht University  Abstract. The process of proof is one of inference to the best ex

        Towards an integrated theory of causal scenarios and evidential arguments Floris BEX Department of Information and Computing Sciences, Utrecht University Abstract. The process of proof is one of inference to the best ex

        Add to Reading List

        Source URL: comma2014.arg.dundee.ac.uk

        Language: English - Date: 2014-08-27 11:30:50
          7ON NEGATIVE ALGEBRAIC K-GROUPS MORITZ KERZ Abstract. We sketch a proof of Weibel’s conjecture on the vanishing of negative algebraic K-groups and we explain an analog of this result for continuous K-theory of non-archi

          ON NEGATIVE ALGEBRAIC K-GROUPS MORITZ KERZ Abstract. We sketch a proof of Weibel’s conjecture on the vanishing of negative algebraic K-groups and we explain an analog of this result for continuous K-theory of non-archi

          Add to Reading List

          Source URL: www.mathematik.uni-regensburg.de

          Language: English
            8OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Oct, NEWGEN  ­c hapter 20 Internationa l Re l at i ons Theory a nd C ybe r

            OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Oct, NEWGEN ­c hapter 20 Internationa l Re l at i ons Theory a nd C ybe r

            Add to Reading List

            Source URL: www.brandonvaleriano.com

            - Date: 2017-10-17 13:43:10
              9MODEL THEORY IN GEOMETRY AND ARITHMETIC MSRI Workshop May 12–16, E. Bouscaren (ed.), Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell–Lang conjecture,

              MODEL THEORY IN GEOMETRY AND ARITHMETIC MSRI Workshop May 12–16, E. Bouscaren (ed.), Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell–Lang conjecture,

              Add to Reading List

              Source URL: library.msri.org

              - Date: 2014-04-02 17:49:30
                10A Proposal for a New Foundation for Proof Theory Alessio Guglielmi University of Bath 11 March 2016

                A Proposal for a New Foundation for Proof Theory Alessio Guglielmi University of Bath 11 March 2016

                Add to Reading List

                Source URL: cs.bath.ac.uk

                - Date: 2016-03-11 05:26:39