Logic

Results: 27485



#Item
591

The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University,

Add to Reading List

Source URL: mindmodeling.org

- Date: 2015-07-27 15:58:38
    592

    Graph Structure and Monadic Second-order Logic: Language Theoretical Aspects? Bruno Courcelle Université Bordeaux-1, LaBRI, CNRS Institut Universitaire de France 351, Cours de la Libération

    Add to Reading List

    Source URL: www.labri.fr

    - Date: 2008-09-03 04:59:37
      593

      Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

      Add to Reading List

      Source URL: www.ki.inf.tu-dresden.de

      - Date: 2006-03-26 15:53:31
        594

        Microsoft Word - The Logic of Paying for Good Professional Help

        Add to Reading List

        Source URL: www.interlakecapital.com

        - Date: 2008-04-28 22:37:06
          595

          Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

          Add to Reading List

          Source URL: sunsite.informatik.rwth-aachen.de

          - Date: 2010-11-25 12:46:19
            596

            Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules (Long version: http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf) Harold Boley NRC SDT & ICT Fredericton

            Add to Reading List

            Source URL: 2013.ruleml.org

            - Date: 2014-02-20 18:18:00
              597

              Call-by-Value in a Basic Logic for Interaction Ulrich Schöpp University of Munich June 16, 2014 Introduction

              Add to Reading List

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

              - Date: 2014-06-17 14:35:33
                598

                Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany

                Add to Reading List

                Source URL: theoretica.informatik.uni-oldenburg.de

                - Date: 2016-02-23 05:22:56
                  599

                  Lecture Notes on Choice and Replication: Linear Logic Frank Pfenning Lecture 5 February 1, 2012

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2012-02-05 13:59:02
                    600

                    A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

                    Add to Reading List

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

                    - Date: 2014-01-21 06:29:06
                      UPDATE