BRICS

Results: 891



#Item
191

BRICS Basic Research in Computer Science BRICS RSKock & Reyes: A Note on Frame Distributions A Note on Frame Distributions

Add to Reading List

Source URL: www.brics.dk

- Date: 1997-12-11 09:10:43
    192

    BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation,

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 1998-09-17 06:37:11
      193

      BRICS RSJ. M. Byskov: Maker-Maker and Maker-Breaker Games are PSPACE-Complete BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2004-09-14 04:29:07
        194

        BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2000-05-31 07:31:11
          195

          BRICS Basic Research in Computer Science BRICS RS-02-8 Cramer & Fehr: Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2002-03-22 09:02:27
            196

            BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2006-11-27 19:50:41
              197

              BRICS RSLarsen et al.: An Interface Theory for Input/Output Automata BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2006-12-16 19:08:50
                198

                BRICS Basic Research in Computer Science BRICS NS-99-1 O. Danvy (ed.): PEPM ’99 Proceedings

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2004-03-04 09:22:16
                  199

                  BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Full Abstraction for HOPLA Full Abstraction for HOPLA

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2004-01-23 09:27:06
                    200

                    BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 1998-02-10 09:56:55
                      UPDATE