Proof

Results: 11440



#Item
441

Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as

Add to Reading List

Source URL: kaustuv.chaudhuri.info

- Date: 2012-11-06 02:56:18
    442

    Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    - Date: 2014-12-22 08:38:15
      443

      Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2013-05-22 23:44:30
        444

        Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In

        Add to Reading List

        Source URL: aalertubelladotcom.files.wordpress.com

        - Date: 2016-04-04 17:54:35
          445

          List of selected Principal Investigators (by country of host institution) ERC Proof of Concept GrantRound I Last Name

          Add to Reading List

          Source URL: erc.europa.eu

          - Date: 2015-07-13 03:43:08
            446

            Generalising Cut-Elimination through Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath In work presented at PCC], we showed how

            Add to Reading List

            Source URL: aalertubelladotcom.files.wordpress.com

            - Date: 2016-06-20 13:02:04
              447

              ¨ THREE-MANIFOLDS AND KAHLER GROUPS D. KOTSCHICK A BSTRACT. We give a simple proof of a result originally due to Dimca and Suciu [6]: a group that is both K¨ahler and the fundamental group of a closed three-manifold is

              Add to Reading List

              Source URL: 129.187.111.185

              - Date: 2011-02-12 02:51:49
                448

                Proof, beliefs, and algorithms through the lens of sum-of-squares 1 From integrality gaps to hardness We have seen how we can transform computational hardness results into integrality gaps. In a surprising work Raghaven

                Add to Reading List

                Source URL: sumofsquares.org

                - Date: 2016-11-17 19:44:26
                  449

                  Szemer´edi’s Theorem via Ergodic Theory Yufei Zhao∗ April 20, 2011 Abstract We provide an expository account of Furstenberg’s ergodic theoretic proof of Szemer´edi’s

                  Add to Reading List

                  Source URL: yufeizhao.com

                  - Date: 2014-04-11 14:24:25
                    450

                    Generalising cut elimination through subatomic proof systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 6th of May 2016

                    Add to Reading List

                    Source URL: aalertubelladotcom.files.wordpress.com

                    - Date: 2016-06-20 13:02:53
                      UPDATE