Recursion

Results: 895



#Item
21Progress in Informatics NoEquational Reasoning about Programs with General Recursion and Call-by-value Semantics

Progress in Informatics NoEquational Reasoning about Programs with General Recursion and Call-by-value Semantics

Add to Reading List

Source URL: www.tyconmismatch.com

- Date: 2015-05-18 17:52:54
    22Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

    Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

    Add to Reading List

    Source URL: www4.informatik.tu-muenchen.de

    - Date: 2012-06-06 16:05:33
      23Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

      Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

      Add to Reading List

      Source URL: www.ioc.ee

      - Date: 2014-09-30 10:08:33
        24Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

        Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

        Add to Reading List

        Source URL: cs.ioc.ee

        - Date: 2014-05-20 06:57:42
          25Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

          Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

          Add to Reading List

          Source URL: mindmodeling.org

          - Date: 2014-08-06 20:52:15
            26page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch

            page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch

            Add to Reading List

            Source URL: www.ioc.ee

            - Date: 2014-09-30 10:08:41
              27Programovací jazyky F# a OCaml Chapter 5. Hiding recursion using function-as-values Hiding the recursive part

              Programovací jazyky F# a OCaml Chapter 5. Hiding recursion using function-as-values Hiding the recursive part

              Add to Reading List

              Source URL: tomasp.net

                28583 Documenta Math. A Common Recursion For Laplacians of Matroids and Shifted Simplicial Complexes

                583 Documenta Math. A Common Recursion For Laplacians of Matroids and Shifted Simplicial Complexes

                Add to Reading List

                Source URL: www.math.uiuc.edu

                - Date: 2005-12-23 13:25:06
                  29Finite models of infinite language: A connectionist approach to recursion Morten H. Christiansen Southern Illinois University, Carbondale

                  Finite models of infinite language: A connectionist approach to recursion Morten H. Christiansen Southern Illinois University, Carbondale

                  Add to Reading List

                  Source URL: cnl.psych.cornell.edu

                  - Date: 2002-07-25 12:17:45
                    30Towards Minimal Recursion Semantics over Bulgarian Dependency Parsing Kiril Simov LMD, IICT-BAS

                    Towards Minimal Recursion Semantics over Bulgarian Dependency Parsing Kiril Simov LMD, IICT-BAS

                    Add to Reading List

                    Source URL: bultreebank.org

                    - Date: 2011-09-19 12:02:34