Logic

Results: 27485



#Item
691

Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

Add to Reading List

Source URL: sigops.org

- Date: 2015-09-14 18:51:05
    692

    People-Focused Program Logic Two day workshop Monday 19th and Tuesday 20th of SeptemberNo more log frames!!

    Add to Reading List

    Source URL: www.mande.co.uk

    - Date: 2008-04-18 03:29:05
      693

      CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

      Add to Reading List

      Source URL: www.gate.iisc.ernet.in

      - Date: 2015-09-02 10:23:17
        694

        Contract Agreements via Logic Massimo Bartoletti (joint work with T. Cimoli, P. Di Giamberardino, and R. Zunino) University of Cagliari June 6, 2013

        Add to Reading List

        Source URL: www.cs.unibo.it

        - Date: 2013-07-01 16:16:10
          695

          On Structuring Proof Search for First Order Linear Logic

          Add to Reading List

          Source URL: www.ki.inf.tu-dresden.de

          - Date: 2006-03-26 13:44:51
            696

            Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

            Add to Reading List

            Source URL: www.tac.mta.ca

            - Date: 2002-10-11 13:21:20
              697

              Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada

              Add to Reading List

              Source URL: www.cs.unb.ca

              - Date: 2013-05-12 19:46:42
                698

                From Functional Logic Programs to Purely Functional Programs Preserving Laziness? Bernd Braßel and Sebastian Fischer Christian-Albrechts-University of Kiel {bbr,sebf}@informatik.uni-kiel.de

                Add to Reading List

                Source URL: www-ps.informatik.uni-kiel.de

                - Date: 2011-03-30 17:21:24
                  699

                  Stratified Bounded Affine Logic for Logarithmic Space Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstraße 67, DM¨unchen, Germany Abstract

                  Add to Reading List

                  Source URL: www2.tcs.ifi.lmu.de

                  - Date: 2007-04-20 11:57:17
                    UPDATE