Logic

Results: 27485



#Item
481

Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2013-03-29 18:22:29
    482

    Logic and proof Supervision 1 1) Provide truth tables for the following formulæ P Q→P Q ¬P Q ¬R → ¬Q Q R ¬(P ¬Q (P R))

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    - Date: 2008-10-21 05:54:58
      483

      Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

      Add to Reading List

      Source URL: www.sci.brooklyn.cuny.edu

      - Date: 2012-05-21 09:47:37
        484

        Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

        Add to Reading List

        Source URL: www.home.hs-karlsruhe.de

        - Date: 2014-02-23 03:34:16
          485

          Simulation Logic William L. Harrison Dept. of Computer Science University of Missouri Columbia, Missouri, U.S.A.

          Add to Reading List

          Source URL: www.nrl.navy.mil

          - Date: 2013-07-02 16:22:06
            486

            banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

            Add to Reading List

            Source URL: www.cs.unibo.it

            - Date: 2016-07-28 05:45:11
              487

              Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

              Add to Reading List

              Source URL: www.win.tue.nl

              - Date: 2017-06-27 17:17:14
                488

                Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

                Add to Reading List

                Source URL: anupamdas.com

                - Date: 2017-08-04 11:45:45
                  489

                  Annals of Pure and Applied Logic–30 www.elsevier.com/locate/apal Game-based notions of locality over finite models! Marcelo Arenas a,∗ , Pablo Barcel´o b , Leonid Libkin c a Department of Computer Scien

                  Add to Reading List

                  Source URL: marenas.sitios.ing.uc.cl

                  - Date: 2013-04-26 05:57:02
                    490

                    Higher toposes Internal logic Modalities

                    Add to Reading List

                    Source URL: hott-uf.github.io

                    - Date: 2018-03-28 14:04:14
                      UPDATE