Logic

Results: 27485



#Item
741

Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe

Add to Reading List

Source URL: www.jucs.org

- Date: 2016-11-29 05:05:01
    742

    Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2015-09-19 04:14:13
      743

      Arithmetic with Free Algebras and Hereditarily Finite Sets: a Natural Bridge between Numeric and Symbolic Computations Paul Tarau University of North Texas Friday,13:30-14:20

      Add to Reading List

      Source URL: logic.cse.unt.edu

      - Date: 2012-09-28 06:17:58
        744

        Learning Conceptual Predicates for Teleoreactive Logic Programs Nan Li, David J. Stracuzzi, and Pat Langley School of Computing and Informatics, Arizona State University Tempe, ArizonaUSA {nan.li.3|david.stracuzzi

        Add to Reading List

        Source URL: www.isle.org

        - Date: 2015-11-29 23:18:54
          745

          On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning? Xinyu Feng Rodrigo Ferreira

          Add to Reading List

          Source URL: flint.cs.yale.edu

          - Date: 2007-01-06 22:42:31
            746

            Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

            Add to Reading List

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

            - Date: 2016-05-27 09:10:59
              747

              Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

              Add to Reading List

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

              - Date: 2015-06-23 07:14:34
                748

                Foundations for Decision Problems in Separation Logic with General Inductive Predicates Timos Antonopoulos1 , Nikos Gorogiannis2 , Christoph Haase3∗ , Max Kanovich4 , and Jo¨el Ouaknine1 1

                Add to Reading List

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

                - Date: 2014-01-22 10:58:58
                  749

                  Stratified Bounded Affine Logic for Logarithmic Space Ulrich Schöpp University of Munich Programming with Logarithmic Space

                  Add to Reading List

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

                  - Date: 2007-07-14 09:36:51
                    UPDATE