INF

Results: 15295



#Item
981

A Purely Logical Account of Sequentiality in Proof Search Paola Bruscoli Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany

Add to Reading List

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

- Date: 2006-03-26 13:44:36
    982

    PDF Document

    Add to Reading List

    Source URL: kazan.inf.fu-berlin.de

    - Date: 2002-12-20 13:07:37
      983

      Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

      Add to Reading List

      Source URL: homepages.inf.ed.ac.uk

      - Date: 2006-10-18 10:00:12
        984

        Avoiding Timing Channels in Fixed-Priority Schedulers Marcus Völp, Claude-Joachim Hamann, Hermann Härtig Technische Universität Dresden Department of Computer ScienceDresden

        Add to Reading List

        Source URL: os.inf.tu-dresden.de

        - Date: 2008-04-10 10:46:22
          985

          An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1

          Add to Reading List

          Source URL: people.mpi-inf.mpg.de

          - Date: 2016-11-29 05:17:21
            986

            VolumeDeform: Real-time Volumetric Non-rigid Reconstruction — Supplemental Document — Matthias Innmann1 Michael Zollh¨ofer2 3

            Add to Reading List

            Source URL: gvv.mpi-inf.mpg.de

            - Date: 2016-08-15 03:33:01
              987

              Acta Cybernetica–250. Survey: Weighted Extended Top-down Tree Transducers Part I — Basics and Expressive Power Andreas Maletti∗

              Add to Reading List

              Source URL: www.inf.u-szeged.hu

              - Date: 2011-11-04 07:33:04
                988

                M_INF.CGCCP.REGISTRO UFFICIALE.U2016.h.09:35 Roma, ______________________ p.d.c.: Reparto 1° Ufficio 3° telMinistero

                Add to Reading List

                Source URL: www.ordineingegnerinapoli.it

                - Date: 2016-12-07 11:15:31
                  989

                  A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

                  Add to Reading List

                  Source URL: people.mpi-inf.mpg.de

                  - Date: 2016-12-19 05:45:29
                    990

                    PDF Document

                    Add to Reading List

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

                    - Date: 2006-03-26 13:38:23
                      UPDATE