Proof

Results: 11440



#Item
331

Proof Nets as Formal Feynman Diagrams Richard Blute1 and Prakash Panangaden2 1 2

Add to Reading List

Source URL: www.iub.edu

- Date: 2009-03-23 18:16:53
    332

    NeuroChain: The Intelligent Blockchain1 Eukléia Consensus Proof of Involvement and Integrity (PII) Proof of Workflow B. CHOULI and F. GOUJON

    Add to Reading List

    Source URL: www.neurochaintech.io

    - Date: 2018-03-22 14:06:12
      333

      A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays Mainak Ghosh, Miles Richardson, Bryan Ford1 , and Rob Jansen2 1 Yale University, New Haven, CT

      Add to Reading List

      Source URL: www.nrl.navy.mil

      - Date: 2014-06-03 17:03:29
        334

        Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant Gilles Barthe1 , Julien Forest1 , David Pichardie1 , and Vlad Rusu2 1 EVEREST Team, INRIA Sophia-Antipolis, France

        Add to Reading List

        Source URL: people.irisa.fr

        - Date: 2016-12-12 04:14:29
          335

          arXiv:1512.08776v1 [math.PR] 29 DecRoyen’s proof of the Gaussian correlation inequality Rafal Latala and Dariusz Matlak Abstract

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2015-12-30 20:26:35
            336

            NOT APPROVED F0R DISTRIBUTION - NOT APPROVED F0R DISTRIBUTION NOT APPROVED F0R DISTRIBUTION - NOT APPROVED F0R DISTRIBUTION !PROOF

            Add to Reading List

            Source URL: webreprints.djreprints.com

            - Date: 2017-03-08 08:10:14
              337

              ocamli: Interpreted OCaml John Whitington, University of Leicester July 12, 2017 We present a proof-of-concept tool, ocamli, which runs ordinary OCaml programs by direct interpretation of the abstract syntax tree, taking

              Add to Reading List

              Source URL: www.cs.le.ac.uk

              - Date: 2017-07-12 09:23:10
                338

                Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models Jade Alglave Microsoft Research Cambridge, University College London, UK ,

                Add to Reading List

                Source URL: cs.nyu.edu

                - Date: 2016-11-25 05:32:52
                  339

                  Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Excerpt More information

                  Add to Reading List

                  Source URL: assets.cambridge.org

                  - Date: 2010-02-15 04:00:07
                    340

                    Illinois Department of Public Health PROOF OF SCHOOL DENTAL EXAMINATION FORM To be completed by the parent (please print): Student’s Name:

                    Add to Reading List

                    Source URL: bhs.bps101.net

                    - Date: 2015-06-24 10:18:05
                      UPDATE