Logic

Results: 27485



#Item
451

Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

Add to Reading List

Source URL: ilyasergey.net

- Date: 2018-03-26 18:04:22
    452

    A Dynamic-Logical Perspective on Quantum Behavior A. Baltag and S. Smets Abstract In this paper we show how recent concepts from Dynamic Logic, and in

    Add to Reading List

    Source URL: www.vub.ac.be

    - Date: 2008-02-22 13:26:37
      453

      Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

      Add to Reading List

      Source URL: anupamdas.com

      - Date: 2017-08-04 11:45:45
        454

        Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

        Add to Reading List

        Source URL: qapl17.doc.ic.ac.uk

        - Date: 2017-04-20 09:16:43
          455

          Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

          Add to Reading List

          Source URL: scheme2016.snow-fort.org

          - Date: 2016-09-23 10:04:45
            456

            A Constructor-Based Reachability Logic for Rewrite Theories Stephen Skeirik, Andrei Stefanescu, Jose Meseguer October 10th, 2017

            Add to Reading List

            Source URL: www.sci.unich.it

            - Date: 2017-10-23 05:15:05
              457

              COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

              Add to Reading List

              Source URL: www.iub.edu

              - Date: 2009-04-04 22:10:32
                458

                A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2

                Add to Reading List

                Source URL: software.imdea.org

                - Date: 2016-09-06 10:47:26
                  459

                  Inspiration Hilbert Lattices, axiomatization, and decidability Dimension in QL(LH n ) Finite submodel property Quantum logic on finite dimensional Hilbert

                  Add to Reading List

                  Source URL: www.iub.edu

                  - Date: 2009-05-12 06:28:28
                    UPDATE