LIX

Results: 507



#Item
171

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
    172

    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
      173

      Efficient Static Analysis of Dynamical Properties using the Process Hitting 10 janvier 2012 Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

      Add to Reading List

      Source URL: loicpauleve.name

      - Date: 2014-05-28 09:53:18
        174

        A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany and Lutz.Strassburger@Inf.

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2005-12-02 04:44:23
          175

          Stage de master : analyse de robustesse par interprétation abstraite et programmation par contraintes 30 septembre 2016 Ce sujet est destiné à un étudiant souhaitant prolonger son master par une une thèse. Durant so

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2016-10-03 04:00:42
            176

            Parsifal1 “To Correctness through Proof” Dale Miller (Team Leader) and ¨ Despeyroux, Stephane ´ Kaustuv Chaudhuri, Joelle

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2011-09-04 11:14:06
              177

              ERC Advanced Grant 2011 Technical Description1 Broad Spectrum Proof Certificates ProofCert Principal Investigator: Dale Miller

              Add to Reading List

              Source URL: www.lix.polytechnique.fr

              - Date: 2012-07-31 08:09:29
                178

                Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2015-11-06 10:54:47
                  179

                  Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2013-09-23 15:11:27
                    180

                    Abella: A System for Reasoning about Relational Specifications DAVID BAELDE LSV, ENS Cachan, France KAUSTUV CHAUDHURI

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    - Date: 2015-02-05 11:20:10
                      UPDATE