Logic

Results: 27485



#Item
611

Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

Add to Reading List

Source URL: aprove.informatik.rwth-aachen.de

- Date: 2010-11-25 10:23:00
    612

    Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

    Add to Reading List

    Source URL: pdfs.semanticscholar.org

    - Date: 2015-12-07 11:27:29
      613

      Simplifying Memory Management by Sharing Immutable Succinct Memory Images of Isomorphic Data Objects Paul Tarau Department of Computer Science and Engineering University of North Texas

      Add to Reading List

      Source URL: logic.cse.unt.edu

      - Date: 2011-06-05 12:55:02
        614

        Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

        Add to Reading List

        Source URL: software.imdea.org

        - Date: 2016-08-04 13:20:18
          615

          Work in progress: SOCIAL MEDIA LOGIC IN JOURNALISM: RESHAPING THE PROFESSION ECREA 2016 | ULRIKA HEDMAN | | @UlrikaMHedman | www.eftertankt.com

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

            616

            Root Cause Analysis through Abduction in Markov Logic Networks Joerg Schoenfisch∗ , Janno von St¨ulpnagel† , Jens Ortmann† , Christian Meilicke∗ and Heiner Stuckenschmidt∗ ∗ Research Group Data and Web Scie

            Add to Reading List

            Source URL: publications.wim.uni-mannheim.de

            - Date: 2016-07-19 08:07:05
              617

              Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters

              Add to Reading List

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

              - Date: 2014-03-02 18:39:23
                618

                Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

                Add to Reading List

                Source URL: www.iasi.cnr.it

                - Date: 2013-07-17 08:16:13
                  619

                  A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2016-08-21 10:35:34
                    UPDATE