Logic

Results: 27485



#Item
661

Namespace logic: A logic for a reflective higher-order calculus L.G. Meredith1 and Matthias Radestock2 1 CTO, Djinnisys Corporation 505 N72nd St, Seattle, WA 98103, USA,

Add to Reading List

Source URL: www.lshift.net

- Date: 2014-09-16 06:39:35
    662

    Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

    Add to Reading List

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

    - Date: 2014-09-02 06:12:08
      663

      Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

      Add to Reading List

      Source URL: i12www.iti.kit.edu

      - Date: 2009-01-05 04:34:04
        664

        Curry An Integrated Functional Logic Language VersionDecember 2, 2003 Michael Hanus1 [editor]

        Add to Reading List

        Source URL: pdfs.semanticscholar.org

        - Date: 2015-07-28 19:42:18
          665

          ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

          Add to Reading List

          Source URL: utdallas.edu

          - Date: 2009-06-05 21:13:38
            666

            Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

            Add to Reading List

            Source URL: www.nuprl.org

            - Date: 2011-10-08 01:03:35
              667

              Weighted strategy logic with boolean goals over one-counter games Patricia Bouyer, Patrick Gardy, Nicolas Markey October 2015

              Add to Reading List

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

              - Date: 2015-10-13 09:51:49
                668

                ¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases

                Add to Reading List

                Source URL: www-ps.informatik.uni-kiel.de

                - Date: 2014-06-15 10:44:35
                  669

                  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
                    670

                    A Resource-Based Logic for Termination and Non-Termination Proofs (Technical Report) Ton Chanh Le1 , Cristian Gherghina2 , Aquinas Hobor1 , and Wei-Ngan Chin1 1

                    Add to Reading List

                    Source URL: loris-5.d2.comp.nus.edu.sg

                    - Date: 2014-07-09 23:50:19
                      UPDATE