Reasoning

Results: 5026



#Item
261

Tractable Reasoning in a Fragment of Separation Logic Byron Cook1,3 , Christoph Haase2 , Jo¨el Ouaknine2 , Matthew Parkinson1, and James Worrell2 1

Add to Reading List

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

- Date: 2015-06-23 07:46:37
    262

    springer.com Journal of Automated Reasoning Journal Metrics 2015

    Add to Reading List

    Source URL: static.springer.com

    - Date: 2016-10-17 23:42:58
      263

      Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

      Add to Reading List

      Source URL: cassius.uwplse.org

      - Date: 2016-08-28 20:27:19
        264

        Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

        Add to Reading List

        Source URL: www.swenjacobs.com

        - Date: 2013-01-31 09:32:49
          265

          Defunctionalisation as Typed Closure Conversion: Compositional Reasoning and Specification Ulrich Sch¨opp Ludwig-Maximilians-Universit¨ at M¨

          Add to Reading List

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

          - Date: 2016-10-22 11:55:53
            266

            T ECHNICAL R EPORT Report No. CS2012-02 Date: September 2012 Compositional Reasoning for Channel-Based Concurrent Resource

            Add to Reading List

            Source URL: www.um.edu.mt

            - Date: 2012-11-02 10:02:20
              267

              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
                268

                Workshop Notes The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12

                Add to Reading List

                Source URL: www.arcoe.org

                - Date: 2012-08-14 09:25:29
                  269

                  Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA

                  Add to Reading List

                  Source URL: symbolaris.com

                  - Date: 2014-08-04 10:11:08
                    270

                    Proceedings of the 4th Workshop on New Forms of Reasoning for the Semantic Web: Scalable & Dynamic Stefano Ceri, Emanuele Della Valle, Jim Hendler,

                    Add to Reading List

                    Source URL: wasp.cs.vu.nl

                    - Date: 2010-05-11 07:02:06
                      UPDATE