Logic

Results: 27485



#Item
461

On Structuring Proof Search for First Order Linear Logic

Add to Reading List

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

- Date: 2012-01-04 16:21:31
    462

    To appear in A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, College Publications, Logic and Social Choice Theory Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam

    Add to Reading List

    Source URL: staff.fnwi.uva.nl

    - Date: 2012-01-09 08:18:25
      463

      A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

      Add to Reading List

      Source URL: software.imdea.org

      - Date: 2016-09-06 10:47:15
        464

        A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

        Add to Reading List

        Source URL: drops.dagstuhl.de

        - Date: 2017-09-01 10:27:18
          465

          Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2012-08-07 09:26:50
            466

            Apple Logic Pro X Categories Orange

            Add to Reading List

            Source URL: logickeyboard.com

            - Date: 2017-11-15 06:11:11
              467

              Logic of Public Intervention – The role of public partners in stimulating innovation capacity Dr. Marina Ranga WIRE 2016 Conference - The Power of Regional Innovation Ecosystems

              Add to Reading List

              Source URL: www.wire2016.eu

              - Date: 2016-06-14 08:16:56
                468

                Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

                Add to Reading List

                Source URL: rd.host.cs.st-andrews.ac.uk

                - Date: 2008-04-13 07:08:42
                  469

                  QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other i

                  Add to Reading List

                  Source URL: www.vub.ac.be

                  - Date: 2005-04-07 17:35:20
                    UPDATE