Logic

Results: 27485



#Item
721

Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

Add to Reading List

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

- Date: 2014-03-02 08:55:00
    722

    Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

    - Date: 2016-08-08 07:44:57
      723

      HETS for Common Logic Users – Version 0.99 – Till Mossakowski, Christian Maeder, Mihai Codescu, Eugen Kuksa, Christoph Lange DFKI GmbH, Bremen, Germany. Comments to: (the latter ne

      Add to Reading List

      Source URL: www.informatik.uni-bremen.de

      - Date: 2013-01-10 10:49:20
        724

        Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

        Add to Reading List

        Source URL: mindmodeling.org

        - Date: 2014-08-06 20:52:15
          725

          Lecture Notes on Cut Reduction as Computation: Linear Logic Frank Pfenning Lecture 4 January 30, 2012

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2012-02-08 07:35:51
            726

            Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

            Add to Reading List

            Source URL: dbai.tuwien.ac.at

            - Date: 2013-06-20 14:18:41
              727

              14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria Vienna Summer of Logic Preface

              Add to Reading List

              Source URL: easychair.org

                728

                PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2011-05-16 14:07:07
                  729

                  Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

                  Add to Reading List

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

                  - Date: 2016-01-04 08:35:09
                    730

                    From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

                    Add to Reading List

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

                    - Date: 2015-06-23 07:39:28
                      UPDATE