Logic

Results: 27485



#Item
711

Accumulation, Dispossession, and Debt: The Racial Logic of Global Capitalism—An Introduction Paula Chakravartty, Denise Ferreira da Silva American Quarterly, Volume 64, Number 3, September 2012, ppArticle)

Add to Reading List

Source URL: ihr.ucsc.edu

- Date: 2013-10-18 16:53:48
    712

    JMLR: Workshop and Conference Proceedings 13: 2nd Asian Conference on Machine Learning (ACML2010), Tokyo, Japan, Nov. 8–10, 2010. An EM algorithm on BDDs with order encoding for logic-based probabilistic models

    Add to Reading List

    Source URL: jmlr.csail.mit.edu

    - Date: 2010-10-31 03:38:46
      713

      Aachen Department of Computer Science Technical Report Automated Termination Analysis for Logic Programs with Cut

      Add to Reading List

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

      - Date: 2010-05-14 08:40:08
        714

        Page 1 of 8 Infotech@Aerospace 2012 Conference Logic Model Checking of Time-Periodic Real-Time Systems

        Add to Reading List

        Source URL: spinroot.com

        - Date: 2013-07-26 18:25:59
          715

          Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2015-11-06 10:54:47
            716

            Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg

            Add to Reading List

            Source URL: pubs.doc.ic.ac.uk

            - Date: 2007-06-23 11:07:35
              717

              Emulating Linear Types in Haskell Wolfgang Jeltsch Linear logic

              Add to Reading List

              Source URL: cs.ioc.ee

              - Date: 2012-02-17 05:07:23
                718

                A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany

                Add to Reading List

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

                - Date: 2014-06-15 10:44:19
                  719

                  The E-SHIQ Contextual Logic Framework? George M.Santipantakis1 and George A. Vouros2 1 2

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2012-09-27 11:33:10
                    720

                    Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe

                    Add to Reading List

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

                    - Date: 2005-11-20 08:43:18
                      UPDATE