Logic

Results: 27485



#Item
501

Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015

Add to Reading List

Source URL: arxiv.org

- Date: 2015-12-24 20:47:04
    502

    Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

    Add to Reading List

    Source URL: plv.mpi-sws.org

    - Date: 2017-01-19 08:43:04
      503

      New Methods in Hard Disk Encryption Clemens Fruhwirth <> Institute for Computer Languages Theory and Logic Group Vienna University of Technology

      Add to Reading List

      Source URL: tomb.dyne.org

      - Date: 2011-01-28 17:33:02
        504

        Argumentation frameworks for explanation-based reasoning Francesca Toni Tutorial @ KR2016, Cape Town, South Africa Department of Computing, Imperial College London, UK CLArg (Computational Logic and Argumentation) Group

        Add to Reading List

        Source URL: kr2016.cs.uct.ac.za

        - Date: 2016-04-28 05:31:15
          505

          Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker

          Add to Reading List

          Source URL: www1.pub.informatik.uni-wuerzburg.de

          - Date: 2016-08-02 05:40:34
            506

            Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CAFebruary 2017

            Add to Reading List

            Source URL: www.socsci.uci.edu

            - Date: 2017-02-04 02:20:06
              507

              Sumo Logic Enterprise Security Analytics “ Once we understood how easily Sumo Logic could generate proactive insights

              Add to Reading List

              Source URL: www.sumologic.com

              - Date: 2015-01-07 14:21:19
                508

                On the Unusual Effectiveness of Logic in Computer Science  Joseph Y. Halpern Robert Harper Neil Immerman

                Add to Reading List

                Source URL: www.cs.upc.edu

                - Date: 2008-10-15 05:37:21
                  509

                  The Linear Logic Primer Vincent Danos Roberto Di Cosmo Case 7014

                  Add to Reading List

                  Source URL: www.dicosmo.org

                  - Date: 2015-11-23 06:55:53
                    510

                    Logic Chart developed for Austria’s genome grant program GEN-AU by team members of a process evaluation study of GEN-AU (Joanneum Research-lead; other members: TIA Consulting, Inc., and KMU Forschung Austria. (Osterr

                    Add to Reading List

                    Source URL: higherlogicdownload.s3.amazonaws.com

                    - Date: 2012-09-30 20:31:56
                      UPDATE