Proof

Results: 11440



#Item
281

AUSTIN EVENTS Austin is a 24-hour town populated by an upstart mix of musicians, tech experts, filmmakers, athletes and foodies, and our annual events calendar is proof. For a more comprehensive event list of th

Add to Reading List

Source URL: res.cloudinary.com

- Date: 2018-02-01 12:12:36
    282

    iChing: A Scalable Proof-of-Stake Blockchain in the Open Setting or, How to Mimic Nakamoto’s Design via Proof-of-Stake Lei Fan Shanghai Jiao Tong University

    Add to Reading List

    Source URL: www.tangrum.org

    - Date: 2018-02-11 04:23:47
      283

      Online Appendix to A Normal Form for XML Documents MARCELO ARENAS and LEONID LIBKIN University of Toronto, Toronto, Ontario, Canada A. PROOF OF SECTION 7

      Add to Reading List

      Source URL: marenas.sitios.ing.uc.cl

      - Date: 2013-04-26 05:57:02
        284

        New York Journal of Mathematics New York J. Math–60. A proof of the Russo–Dye theorem for J B ∗-algebras Akhlaq A. Siddiqui

        Add to Reading List

        Source URL: nyjm.albany.edu

        - Date: 2010-05-15 19:35:28
          285

          The Incredible Proof Machine Invited Talk Paper Joachim Breitner Karlsruhe Institute of Technology Karlsruhe, Germany

          Add to Reading List

          Source URL: www.joachim-breitner.de

          - Date: 2016-07-01 09:50:13
            286

            If Mathematical Proof is a Game, What are the States and Moves? David McAllester 1

            Add to Reading List

            Source URL: cl-informatik.uibk.ac.at

            - Date: 2018-03-31 16:27:01
              287

              Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search

              Add to Reading List

              Source URL: jonathan.protzenko.fr

              - Date: 2015-11-24 20:09:38
                288

                Visual theorem proving with the Incredible Proof Machine Joachim Breitner Karlsruhe Institute of Technology,

                Add to Reading List

                Source URL: www.joachim-breitner.de

                - Date: 2016-05-20 10:43:05
                  289

                  1 Prove (or provide a failed proof of) the following statement using the sequent  calculus:   x y (P (x) → Q(x, y))   x

                  Add to Reading List

                  Source URL: www.cl.cam.ac.uk

                  - Date: 2009-10-29 13:31:17
                    290

                    Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida

                    Add to Reading List

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

                    - Date: 2017-09-09 06:01:35
                      UPDATE