Logic

Results: 27485



#Item
681

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
    682

    Systematic Generation of Glass-Box Test Cases for Functional Logic Programs Herbert Kuchen1 and Sebastian Fischer2 1 University of M¨

    Add to Reading List

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

    - Date: 2014-06-15 10:44:22
      683

      1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

      Add to Reading List

      Source URL: www.illc.uva.nl

      - Date: 2006-04-27 10:35:42
        684

        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
          685

          Parametric Shape Analysis via 3-Valued Logic

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2014-04-06 14:49:48
            686

            Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2015-06-23 07:31:00
              687

              Systematic Generation of Glass-Box Test Cases for Functional Logic Programs Sebastian Fischer Herbert Kuchen

              Add to Reading List

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

              - Date: 2014-06-15 10:44:18
                688

                On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

                Add to Reading List

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

                - Date: 2014-06-15 10:42:57
                  689

                  Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2010-01-12 10:01:42
                    UPDATE